Rodney R. Howell, Louis E. Rosier: On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. European Workshop on Applications and Theory of Petri Nets 1987: 200-226