M. Solé, and J. Carmona. Applications and Theory of Petri Nets (Petri Nets 2010), volume 6128 of Lecture Notes in Computer Science, page 226--245. Springer-Verlag, Berlin, (2010)
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)
M. Solé, and J. Carmona. Automated Technology for Verification and Analysis (ATVA 2010), volume 6252 of Lecture Notes in Computer Science, page 396--402. Springer-Verlag, Berlin, (2010)
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. 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)
A. Adriansyah, N. Sidorova, and {. Dongen. International Conference on Application of Concurrency
to System Design (ACSD 2011), page 57--66. IEEE Computer Society, (2011)
S. Mauser, and R. Lorenz. International Conference on Application of Concurrency
to System Design (ACSD 2009), page 89--98. IEEE Computer Society, (2009)
F. Puhlmann, and M. Weske. Transactions on Petri Nets and Other Models of Concurrency II, volume 5460 of Lecture Notes in Computer Science, page 64--78. Springer-Verlag, Berlin, (2009)
P. Wong, and J. Gibbons. Proceedings of 7th International Conference on Integrated Formal Methods, volume 5423 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, (2009)
P. Wong, and J. Gibbons. International Conference on Formal Engineering Methods (ICFEM 2008), volume 5256 of Lecture Notes in Computer Science, page 27--31. Springer-Verlag, Berlin, (2008)