J. Bañares, P. Muro-Medrano, and J. Villarroel. Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 32-48. Springer, (1993)
J. Bañares, P. Muro-Medrano, J. Villarroel, and F. Zarazaga. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 355-374. Springer, (2001)