An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

This paper deals with the enforcement of generalized mutual exclusion constraints (GMECs) on time Petri nets (TPNs) with uncontrollable transitions by restricting the firing intervals of controllable transitions. Existing approaches do not exploit the timing information and consequently the system permissiveness is limited. The key idea behind the proposed approach is the online computation of a graph representing a reduced portion of the state...