Problems concerning fairness and temporal logic for conflict-free Petri net (1989)

by R Howell, L Rosier
Venue:Theoretical Computer Science