Harro Wimmel

	2007
7		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		Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
	2004
5		Harro Wimmel: Eliminating Internal Behaviour in Petri Nets. ICATPN 2004: 411-425
4		Harro Wimmel: Infinity of Intermediate States Is Decidable for Petri Nets. ICATPN 2004: 426-434
	2000
3		Eike Best, Harro Wimmel: Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN 2000: 63-82
	1998
2		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

Coauthor Index

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]