On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.

Rodney R. Howell Louis E. Rosier On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. 200-226 1987 conf/apn/1987 European Workshop on Applications and Theory of Petri Nets db/conf/apn/apn1987.html#HowellR87 http://dx.doi.org/10.1007/3-540-50580-6_30