Title :
Time Floating General Mutual Exclusion Constraints (TFGMEC)
Author :
Achour, Z. ; Rezg, N.
Author_Institution :
LGIPM & INRIA/MACSI, Metz
Abstract :
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
Keywords :
Petri nets; control system synthesis; discrete event systems; Petri net controller; Petri net model; Ramadge-Wonham approach; design methodology; discrete event systems; forbidden state-transition problem; time floating general mutual exclusion constraints; Control system synthesis; Control systems; Design methodology; Discrete event systems; Law; Legal factors; Petri nets; Supervisory control; Systems engineering and theory; Time factors; Discrete Event Systems; GMEC; Supervisory Control; Timed place Petri net;
Conference_Titel :
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location :
Beijing
Print_ISBN :
7-302-13922-9
Electronic_ISBN :
7-900718-14-1
DOI :
10.1109/CESA.2006.4281778
