Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

From MaRDI portal