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.

Possibly Related Publications

The following publications are possibly variants of this publication: