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)
F. Vernadat, and P. Azéma. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 473-492. Springer, (2001)
F. Vernadat, P. Azéma, and F. Michel. Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 516-535. Springer, (1996)
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)