Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
scientific article; zbMATH DE number 5080233