Marking fairness in Petri nets
scientific article; zbMATH DE number 3954282