Abstract
This paper describes a synthesis method of forbidden state controller for a class of discrete-event systems (DES) with generalized mutual exclusion constraints (GMEC). The system models are a class of restricted Petri nets named forward-synchronization and backward-conflict free (FSBCF) nets. The properties of FSBCF nets, in which each place has at most one output transition and each transition has at most one input place, is studied and used to analyze the reachable state space of the system. An efficient controller synthesis algorithm that is able to deal with the so-called precedence path condition is then proposed to avoid the forbidden state represented by GMEC. One example is provided for illustration.
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.
