ask others

Harro Wimmel

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/SchlachterW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/SchlachterW18
Uli Schlachter, Harro Wimmel:
A Geometric Characterisation of Event/State Separation. Petri Nets 2018: 99-116
2017
[c13]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/apn/ErofeevW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/ErofeevW17
Evgeny Erofeev, Harro Wimmel:
Reachability Graphs of Two-Transition Petri Nets. ATAED@Petri Nets/ACSD 2017: 39-54
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/SchlachterW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/SchlachterW17
Uli Schlachter, Harro Wimmel:
k-Bounded Petri Net Synthesis from Modal Transition Systems. CONCUR 2017: 6:1-6:15
2016
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/BestESW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/BestESW16
Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel:
Characterising Petri Net Solvable Binary Words. Petri Nets 2016: 39-58
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/BestW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/BestW16
Eike Best, Harro Wimmel:
Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs. RP 2016: 51-62
2013
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/BestW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/BestW13
Eike Best, Harro Wimmel:
Structure Theory of Petri Nets. Trans. Petri Nets and Other Models of Concurrency 7: 162-224 (2013)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/KordonLBBFHHLLMPPRRTWW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1208-2159
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2159
Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation. Logical Methods in Computer Science 8(3) (2012)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/KordonLBCELLPTW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1209-2382
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2382
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/WimmelW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/WimmelW11
Harro Wimmel, Karsten Wolf:
Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets 2011: 189-207
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/WimmelW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/WimmelW11
Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation. TACAS 2011: 224-238
2010
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/OaneaWW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/OaneaWW10
Olivia Oanea, Harro Wimmel, Karsten Wolf:
New Algorithms for Deciding the Siphon-Trap Property. Petri Nets 2010: 267-286
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/HabermehlMW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/HabermehlMW10
Peter Habermehl, Roland Meyer, Harro Wimmel:
The Downward-Closure of Petri Net Languages. ICALP (2) 2010: 466-477

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j2]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/BestDW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/BestDW07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/BestEWW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ershov/BestEWW06
Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf:
Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
2004
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Wimmel04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Wimmel04
Harro Wimmel:
Eliminating Internal Behaviour in Petri Nets. ICATPN 2004: 411-425
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Wimmel04a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Wimmel04a
Harro Wimmel:
Infinity of Intermediate States Is Decidable for Petri Nets. ICATPN 2004: 426-434
2000
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/BestW00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/BestW00
Eike Best, Harro Wimmel:
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN 2000: 63-82

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/PrieseW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/PrieseW98
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/WimmelP97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/WimmelP97
Harro Wimmel, Lutz Priese:
Algebraic Characterization of Petri Net Pomset Semantics. CONCUR 1997: 406-420

Coauthor Index

see FAQ

maintained by

at