A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.

Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen

Browse the full MFCS paper archive.