Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets

Rodney R. Howell, Louis E. Rosier. Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets. Theoretical Computer Science, 64(3):305-329, 1989.

Abstract

Abstract is missing.