DocumentCode
3154373
Title
Time Floating General Mutual Exclusion Constraints (TFGMEC)
Author
Achour, Z. ; Rezg, N.
Author_Institution
LGIPM & INRIA/MACSI, Metz
Volume
1
fYear
2006
fDate
4-6 Oct. 2006
Firstpage
893
Lastpage
897
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CESA.2006.4281778
Filename
4281778
Link To Document