A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.

Howell, Rodney R.Rodney R.HowellRosier, Louis E.Louis E.RosierHSU-CHUN YEN2020-06-162020-06-161988https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915838553&doi=10.1007%2fBFb0017158&partnerID=40&md5=a9fae2bd2c87c0e1911b1d3e0b2a19e5A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.conference paper10.1007/BFb00171582-s2.0-84915838553https://doi.org/10.1007/BFb0017158