Abstract
This article addresses the forbidden state problem in discrete-event systems (DESs) modeled with Petri nets. Given a control specification, we first decide the sets of forbidden and admissible markings. Then, the minimal mask set of first-met forbidden markings (FFMs) and the minimal root set of admissible markings are computed by marking mask that is implemented using a class of special places in a plant, called competitive places. Marking mask can effectively filtrate the markings to be processed such that the two obtained sets are in general much smaller than the sets of originally specified forbidden and admissible markings, respectively. Monitors computed by place invariants are used to forbid the forbidden markings. It is shown that a maximally permissive (optimal) supervisor can be computed if it exists. Integer linear programming is used to optimize the structure of a supervisor. The minimal mask set of FFMs and root set of admissible markings efficiently reduce the computational overhead because of much fewer constraints and variables in the formulated programming problem. The developed methodology is illustrated by parameterized examples.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
