Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions
Meng Qin, Zhiwu Li, MengChu Zhou, Mohamed Salah Khalgui, Olfa Mosbahi · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2012
This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.