Julian C. Bradfield. Proving temporal properties of Petri Nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990. Volume 524 of Lecture Notes in Computer Science, pages 29-47, Springer, 1990.
Abstract is missing.