Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation

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...