J. Lloret, S. Sendra, P. González, and L. Parra. ICSC-Cities, volume 978 of Communications in Computer and Information Science, page 164-178. Springer, (2018)
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)
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)