Abstract
Nondeterministic firing of concurrent transitions in Petri nets (PNs) may lead to the disappearance of conflicts. The disappearance implies that the partial conflicting transitions in a conflict become disabled before the resolution of the conflict. The phenomenon is called confusions that are caused by the interlacement of conflicting and concurrent transitions in PNs, which generates incomplete and faulty system conflicting behavior such that conflicts cannot be correctly resolved. In this paper, conflict‐increasing confusions (CICs) and conflict‐decreasing confusions (CDCs) in a PN are investigated. The relation graph of conflicts and confusions (RGC2) in a PN is proposed to detect the structure of confusions. To avoid the occurrence of confusions in a PN, an algorithm based on generalized mutual exclusion constraints (GMECs) is proposed, which can generate confusion‐avoidance supervisors such that the occurrence of conflicts can be ensured in a PN. Finally, an example of confusion detection and avoidance in a flexible assembly system is presented. © 2015 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: IEEJ Transactions on Electrical and Electronic Engineering
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.