[1] Carstensen H.: Decidability questions for fairness in Petri nets. Proc. STACS'87, LNCS 247 Springer (1987). MR 0900469 | Zbl 0629.68063

[2] Howell R., Rosier L., Yen H.: A taxonomy of fairness and temporal logic problems for Petri nets. Proc. MFCS'88, LNCS 324 Springer (1988). MR 1025820 | Zbl 0655.68072