Harro Wimmel

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