Please use this identifier to cite or link to this item:
Title: Implementation of generalized mutual exclusion constraints using critical places and marking estimation
Authors: Yang, Benyuan
Hu, Hesuan
Keywords: Engineering::Computer science and engineering
Issue Date: 2019
Source: Yang, B. & Hu, H. (2019). Implementation of generalized mutual exclusion constraints using critical places and marking estimation. IEEE Transactions On Systems, Man, and Cybernetics: Systems, 51(8), 5067-5079.
Project: 2014-T1-001-147 
Journal: IEEE Transactions on Systems, Man, and Cybernetics: Systems 
Abstract: Generalized mutual exclusion constraints (GMECs) are a class of state specifications on Petri nets (PNs). They are generally enforced on the nets by a simple control structure called control places (monitors). Unfortunately, this conventional procedure is implemented in an offline and monolithic manner, which suffers from computational difficulty and is arduous for the control of a system in real time. Additionally, the flexibility and fault tolerance of such a method are somewhat unacceptable, and the method suffers from a lack of adaptability to net variations incurred by system reconfiguration, communication failure, and constraint integration. This article aims to enforce GMECs for a live PN model by using critical places and marking estimation. First, we define GMECs on some so-called critical places, such that the satisfaction of the GMECs can be determined by only monitoring the number of tokens in their corresponding critical places during runtime. Then, an efficient and effective control strategy is developed such that the controllers forbid all those transition firings that lead to the violated GMECs based on the estimated markings of critical places derived by observers from a resource perspective rather than exploring the markings of the entire system. Finally, we present procedures to deal with decision deadlocks, which are induced by one-sided decisions made by some controllers and may prevent all enabled transitions from firing. Global GMECs are always implemented through the local observation and control of processes without knowing an extra information.
ISSN: 2168-2216
DOI: 10.1109/TSMC.2019.2944886
Schools: School of Computer Science and Engineering 
Rights: © 2019 IEEE. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:SCSE Journal Articles

Citations 50

Updated on Sep 24, 2023

Web of ScienceTM
Citations 20

Updated on Sep 28, 2023

Page view(s)

Updated on Sep 30, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.