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.
@article{HowellR89,
title = {Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets},
author = {Rodney R. Howell and Louis E. Rosier},
year = {1989},
tags = {e-science, logic},
researchr = {https://researchr.org/publication/HowellR89},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {64},
number = {3},
pages = {305-329},
}