Timo Latvala, Marko Mäkelä. LTL Model Checking for Modular Petri Nets. In Jordi Cortadella, Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Volume 3099 of Lecture Notes in Computer Science, pages 298-311, Springer, 2004. [doi]
Abstract is missing.