DocumentCode
427916
Title
Modelling and analysis of p-time event graphs in the (min, max, +) algebra
Author
Declerck, Philippe ; Alaoui, Mohamed Khalid Didi
Author_Institution
ISTIA, France
Volume
2
fYear
2004
fDate
10-13 Oct. 2004
Firstpage
1807
Abstract
P-time Petri nets can represent the dynamic behaviour of discrete event systems for which the time evolution of the state is not strictly deterministic but belongs to dynamic intervals. After introducing the modelling of p-time event graphs, we show that the corresponding algebraic model is a subclass of a special model called the interval descriptor system, which uses only maximization, minimization and the addition operations. The following aim is to check the behaviour of the model and to study the existence of a state trajectory. Using the cycle-time vector, we give an approach, which makes it possible to detect the non-synchronization of the transitions and consequently the presence of dead-marks.
Keywords
Petri nets; algebra; discrete event systems; graph theory; algebraic model; cycle-time vector; discrete event dynamic system; interval descriptor system; p-time Petri nets; p-time event graph; Algebra; Control system synthesis; Discrete event systems; Equations; Flexible manufacturing systems; Multiprocessing systems; Network synthesis; Petri nets; Road transportation; Upper bound;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2004 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-8566-7
Type
conf
DOI
10.1109/ICSMC.2004.1399913
Filename
1399913
Link To Document