Harro Wimmel

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 12

Top Topics

Transition Systems

Top Venues

Trans. Petri Nets Other Model. Concurr.

ATAED@Petri Nets/ACSD

Publications

Uli Schlachter, Harro Wimmel
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete. CoRR (2020)
Harro Wimmel
Presynthesis of bounded choice-free or fork-attribution nets. Inf. Comput. 271 (2020)
Eike Best, Raymond R. Devillers, Evgeny Erofeev, Harro Wimmel
Target-oriented Petri Net Synthesis. Fundam. Informaticae 175 (1-4) (2020)
Harro Wimmel
Synthesis of Reduced Asymmetric Choice Petri Nets. CoRR (2019)
Uli Schlachter, Harro Wimmel
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Eike Best, Thomas Hujsa, Harro Wimmel
Sufficient conditions for the marked graph realisability of labelled transition systems. Theor. Comput. Sci. 750 (2018)
Uli Schlachter, Harro Wimmel
A Geometric Characterisation of Event/State Separation. Petri Nets (2018)
Eike Best, Raymond R. Devillers, Uli Schlachter, Harro Wimmel
Simultaneous Petri Net Synthesis. Sci. Ann. Comput. Sci. 28 (2) (2018)
Uli Schlachter, Harro Wimmel
k-Bounded Petri Net Synthesis from Modal Transition Systems. CONCUR (2017)
Evgeny Erofeev, Harro Wimmel
Reachability Graphs of Two-Transition Petri Nets. ATAED@Petri Nets/ACSD (2017)
Eike Best, Harro Wimmel
Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs. RP (2016)
Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel
Characterising Petri Net Solvable Binary Words. Petri Nets (2016)
Eike Best, Harro Wimmel
Structure Theory of Petri Nets. Trans. Petri Nets Other Model. Concurr. 7 (2013)
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 (2013)
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 (2012)
Harro Wimmel, Karsten Wolf
Applying CEGAR to the Petri Net State Equation Log. Methods Comput. Sci. 8 (3) (2012)
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 Other Model. Concurr. 6 (2012)
Harro Wimmel, Karsten Wolf
Applying CEGAR to the Petri Net State Equation. TACAS (2011)
Harro Wimmel, Karsten Wolf
Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets (2011)
Olivia Oanea, Harro Wimmel, Karsten Wolf
New Algorithms for Deciding the Siphon-Trap Property. Petri Nets (2010)
Harro Wimmel, Karsten Wolf
Reachability Analysis via Net Structure. AWPN (2010)
Harro Wimmel
Optimised Calculation of Symmetries for State Space Reduction. AWPN (2010)
Peter Habermehl, Roland Meyer, Harro Wimmel
The Downward-Closure of Petri Net Languages. ICALP (2) (2010)
Eike Best, Philippe Darondeau, Harro Wimmel
Making Petri Nets Safe and Free of Internal Transitions. Fundam. Informaticae 80 (1-3) (2007)
Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf
Separability in Conflict-Free Petri Nets. Ershov Memorial Conference (2006)
Harro Wimmel
Infinity of Intermediate States Is Decidable for Petri Nets. ICATPN (2004)
Harro Wimmel
Eliminating Internal Behaviour in Petri Nets. ICATPN (2004)
Eike Best, Harro Wimmel
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN (2000)
Lutz Priese, Harro Wimmel
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. Theor. Comput. Sci. 206 (1-2) (1998)
Harro Wimmel, Lutz Priese
Algebraic Characterization of Petri Net Pomset Semantics. CONCUR (1997)