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 :
بازگشت