J. Desel, G. Juhas, R. Lorenz, and C. Neumair. International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science, page 380--389. Springer-Verlag, Berlin, (2003)
R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser. International Conference on Business Process Management (BPM 2007), volume 4714 of Lecture Notes in Computer Science, page 375--383. Springer-Verlag, Berlin, (2007)
R. Lorenz, R. Bergenthum, J. Desel, and S. Mauser. International Conference on Application of Concurrency
to System Design (ACSD 2007), page 157--166. IEEE Computer Society, (2007)
R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser. International Conference on Application of Concurrency
to System Design (ACSD 2008), page 170--179. IEEE Computer Society, (2008)
R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser. Applications and Theory of Petri Nets (Petri Nets 2008), volume 5062 of Lecture Notes in Computer Science, page 388--398. Springer-Verlag, Berlin, (2008)
R. Lorenz. German Workshop on Algorithms and Tools for Petri Nets,
(AWPN 2008), volume 380 of CEUR Workshop Proceedings, page 55--62. CEUR-WS.org, (2008)
R. Lorenz, and G. Juhas. Application and Theory of Petri Nets 2006, volume 4024 of Lecture Notes in Computer Science, page 302--321. Springer-Verlag, Berlin, (2006)
S. Mauser, and R. Lorenz. International Conference on Application of Concurrency
to System Design (ACSD 2009), page 89--98. IEEE Computer Society, (2009)