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)
M. Sole, and J. Carmona. Applications and Theory of Petri Nets 2010, volume 6128 of Lecture Notes in Computer Science, page 226--245. Springer-Verlag, Berlin, (2010)
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)