Timo Latvala. Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. In José Manuel Colom, Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Volume 2075 of Lecture Notes in Computer Science, pages 242-262, Springer, 2001. [doi]
Abstract is missing.