Francesco Basile, Roberto Cordone, Luigi Piroddi. Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions. In European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013. pages 143-148, IEEE, 2013. [doi]
Abstract is missing.