On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets

Rodney R. Howell, Louis E. Rosier. On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers. Volume 340 of Lecture Notes in Computer Science, pages 200-226, Springer, 1987.

Abstract

Abstract is missing.