In: Rajeev Alur, Doron A. Peled (Eds.): Proceedings of Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 Volume 3114 of Lecture Notes in Computer Science, pages 109-121. Springer-Verlag, July 2004.
Abstract: We present an unfolding-based approach to LTL-X model-checking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets and a state of the art parallel high-level net unfolder described in. We present experimental results comparing our approach to the one of and the model-checker Spin.