| |
| 2007 | ||
|---|---|---|
| 7 | EE | Eike Best, Philippe Darondeau, Harro Wimmel: Making Petri Nets Safe and Free of Internal Transitions. Fundam. Inform. 80(1-3): 75-90 (2007) |
| 2006 | ||
| 6 | EE | Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18 |
| 2004 | ||
| 5 | EE | Harro Wimmel: Eliminating Internal Behaviour in Petri Nets. ICATPN 2004: 411-425 |
| 4 | EE | Harro Wimmel: Infinity of Intermediate States Is Decidable for Petri Nets. ICATPN 2004: 426-434 |
| 2000 | ||
| 3 | EE | Eike Best, Harro Wimmel: Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN 2000: 63-82 |
| 1998 | ||
| 2 | EE | 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 | ||
| 1 | Harro Wimmel, Lutz Priese: Algebraic Characterization of Petri Net Pomset Semantics. CONCUR 1997: 406-420 | |
| 1 | Eike Best | [3] [6] [7] |
| 2 | Philippe Darondeau | [7] |
| 3 | Javier Esparza | [6] |
| 4 | Lutz Priese | [1] [2] |
| 5 | Karsten Wolf (Karsten Schmidt) | [6] |