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.
Discrete Event Systems, Supervisory Control, Timed place Petri net, GMEC.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).