Abstract
This paper addresses the control problems to enforce general mutual exclusion constraints (GMECs) on a controlled Petri nets based on the constraint transformation. The basic GMEC is introduced for a Petri net, in which a marking is admissible if it does not violate this constraint. To enforce basic GMECs on a Petri net is rather simple, for the uncontrollable transitions need not be considered. Therefore, the key for the solution to the control problems is to compute the equivalent basic GMECs for the given GMECs. Then the method, to transform equivalently the given GMECs into the basic GMECs, is obtained for the class of control problems where the influence uncontrollable subnets are forward synchronization and forward conflict free (FSFCF) nets. An FSFCF net is an ordinary Petri net in which each node has at most one input
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: 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.