A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets

Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen. A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. Theoretical Computer Science, 82(2):341-372, 1991.

@article{HowellRY91a,
  title = {A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets},
  author = {Rodney R. Howell and Louis E. Rosier and Hsu-Chun Yen},
  year = {1991},
  tags = {e-science, logic, taxonomy},
  researchr = {https://researchr.org/publication/HowellRY91a},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {82},
  number = {2},
  pages = {341-372},
}