J. Lloret, J. Roux, B. Algayres, and M. Chamontin. Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 379-383. Springer, (1992)
J. Lloret, P. Azéma, and F. Vernadat. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 519-534. DIMACS/AMS, (1990)
P. Azéma, F. Vernadat, and J. Lloret. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 286-293. Springer, (1989)