On systematic methods to remove redundant monitors from liveness-enforcing net supervisors☆ Export

@article{citeulike:4074557, abstract = {Petri nets based deadlock prevention for flexible manufacturing systems has received much attention over the past decade, primarily due to the seminal work of Ezpeleta et al. in 1995. A Petri net based deadlock prevention mechanism is usually implemented by adding monitors or control places to a plant Petri net model such that liveness can be enforced. The significance of this methodology lies in that both a plant model and its supervisor are in a same formalism-Petri nets. Due to the inherent complexity of Petri nets, in theory, the number of additional monitors that have to been added to achieve liveness-enforcement purpose for an uncontrolled plant model is exponential with respect to the size of the model. This paper first proposes a systematic method to minimize the number of additional monitors in a liveness-enforcing Petri net supervisor such that the resultant net system has the same permissive behavior while liveness can still be preserved. Furthermore, for the liveness-enforcing Petri net supervisors of flexible manufacturing systems, which have some particular property, an algorithm is developed such that more permissive liveness-enforcing Petri net supervisors can be obtained after liveness-restrictive monitor removal. Compared with the existing techniques of eliminating redundant monitors in the literature, the complete state enumeration of a supervisor is avoided, which implies the high computational efficiency of the methods in this paper. Flexible manufacturing examples are used to demonstrate the proposed approaches.}, author = {Li, Zhiwu and Hu, Hesuan}, citeulike-article-id = {4074557}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.cie.2008.03.013}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S0360835208000740}, doi = {10.1016/j.cie.2008.03.013}, issn = {03608352}, journal = {Computers \& Industrial Engineering}, keywords = {deadlock, liveness, monitors, nets, petri, prevention, resources}, month = {February}, number = {1}, pages = {53--62}, posted-at = {2009-02-20 12:16:35}, priority = {2}, title = {On systematic methods to remove redundant monitors from liveness-enforcing net supervisors☆}, url = {http://dx.doi.org/10.1016/j.cie.2008.03.013}, volume = {56}, year = {2009} }

TY - JOUR ID - citeulike:4074557 L3 - citeulike-article-id:4074557 N2 - Petri nets based deadlock prevention for flexible manufacturing systems has received much attention over the past decade, primarily due to the seminal work of Ezpeleta et al. in 1995. A Petri net based deadlock prevention mechanism is usually implemented by adding monitors or control places to a plant Petri net model such that liveness can be enforced. The significance of this methodology lies in that both a plant model and its supervisor are in a same formalism-Petri nets. Due to the inherent complexity of Petri nets, in theory, the number of additional monitors that have to been added to achieve liveness-enforcement purpose for an uncontrolled plant model is exponential with respect to the size of the model. This paper first proposes a systematic method to minimize the number of additional monitors in a liveness-enforcing Petri net supervisor such that the resultant net system has the same permissive behavior while liveness can still be preserved. Furthermore, for the liveness-enforcing Petri net supervisors of flexible manufacturing systems, which have some particular property, an algorithm is developed such that more permissive liveness-enforcing Petri net supervisors can be obtained after liveness-restrictive monitor removal. Compared with the existing techniques of eliminating redundant monitors in the literature, the complete state enumeration of a supervisor is avoided, which implies the high computational efficiency of the methods in this paper. Flexible manufacturing examples are used to demonstrate the proposed approaches. IS - 1 JF - Computers & Industrial Engineering SN - 03608352 EP - 62 TI - On systematic methods to remove redundant monitors from liveness-enforcing net supervisors☆ VL - 56 SP - 53 KW - deadlock KW - liveness KW - monitors KW - nets KW - petri KW - prevention KW - resources AU - Li, Zhiwu AU - Hu, Hesuan PY - 2009/02// UR - http://dx.doi.org/10.1016/j.cie.2008.03.013 ER -