Harro Wimmel
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j7]Eike Best, Raymond R. Devillers, Uli Schlachter, Harro Wimmel:
Simultaneous Petri Net Synthesis. Sci. Ann. Comp. Sci. 28(2): 199-236 (2018) - [j6]Eike Best, Thomas Hujsa, Harro Wimmel:
Sufficient conditions for the marked graph realisability of labelled transition systems. Theor. Comput. Sci. 750: 101-116 (2018) - [c14]Uli Schlachter, Harro Wimmel:
A Geometric Characterisation of Event/State Separation. Petri Nets 2018: 99-116 - 2017
- [c13]Evgeny Erofeev, Harro Wimmel:
Reachability Graphs of Two-Transition Petri Nets. ATAED@Petri Nets/ACSD 2017: 39-54 - [c12]Uli Schlachter, Harro Wimmel:
k-Bounded Petri Net Synthesis from Modal Transition Systems. CONCUR 2017: 6:1-6:15 - 2016
- [c11]Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel:
Characterising Petri Net Solvable Binary Words. Petri Nets 2016: 39-58 - [c10]
- 2013
- [j5]Eike Best, Harro Wimmel:
Structure Theory of Petri Nets. Trans. Petri Nets and Other Models of Concurrency 7: 162-224 (2013) - [i2]Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013) - 2012
- [j4]Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation. Logical Methods in Computer Science 8(3) (2012) - [j3]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets and Other Models of Concurrency 6: 169-196 (2012) - [i1]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012) - 2011
- [c9]Harro Wimmel, Karsten Wolf:
Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets 2011: 189-207 - [c8]
- 2010
- [c7]Olivia Oanea, Harro Wimmel, Karsten Wolf:
New Algorithms for Deciding the Siphon-Trap Property. Petri Nets 2010: 267-286 - [c6]Peter Habermehl, Roland Meyer, Harro Wimmel:
The Downward-Closure of Petri Net Languages. ICALP (2) 2010: 466-477
2000 – 2009
- 2007
- [j2]Eike Best, Philippe Darondeau, Harro Wimmel:
Making Petri Nets Safe and Free of Internal Transitions. Fundam. Inform. 80(1-3): 75-90 (2007) - 2006
- [c5]Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf:
Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18 - 2004
- [c4]
- [c3]
- 2000
- [c2]Eike Best, Harro Wimmel:
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN 2000: 63-82
1990 – 1999
- 1998
- [j1]Lutz Priese, Harro Wimmel:
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. Theor. Comput. Sci. 206(1-2): 219-256 (1998) - 1997
- [c1]Harro Wimmel, Lutz Priese:
Algebraic Characterization of Petri Net Pomset Semantics. CONCUR 1997: 406-420
Coauthor Index
last updated on 2019-01-09 01:44 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint