Dinh-Thuan Le, Huu-Vu Nguyen, Van Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh Tho Quan, Étienne André, Laure Petrucci, Yang Liu. PeCAn: Compositional Verification of Petri Nets Made Easy. In Franck Cassez, Jean-François Raskin, editors, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Volume 8837 of Lecture Notes in Computer Science, pages 242-247, Springer, 2014. [doi]
Abstract is missing.