Time Floating General Mutual Exclusion Constraints (TFGMEC)

In this paper, we propose a design methodology for Petri net controllers for the forbidden state-transition problem by taking into account the time constraints. The aim of the proposed approach is to solve a forbidden state-transitions time depending and so called time floating general mutual exclusion constraints. The proposed methodology is based on the Ramadge-Wonham approach and the theory of regions to generate a set of control places to add to the plant Petri net model