Abstract
Avoiding forbidden states by a supervisory control policy may lead to a non live system, even in the case of generalized mutual exclusion constraints (GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A set of predicates are derived that enforce, in a maximally permissive way, a mutual exclusion constraint and closed-loop liveness for live control safe MG under some restrictions. These predicates can be implemented by a Petri Net.
Sign-in/Register to access full text options 
Free) 
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 call
