DocumentCode
3004028
Title
Liveness and acceptable trajectories in P-time Event Graphs
Author
Declerck, Philippe ; Alaoui, M.K.D.
Author_Institution
Inst. des Sci. et Techniques de l´Ingenieur d´Angers, Angers Univ.
fYear
2006
fDate
10-12 July 2006
Firstpage
445
Lastpage
450
Abstract
This paper presents a modelling and an analysis of P-time event graphs in the field of (max, +) algebra. Under the hypothesis of the logical liveness of the event graph, temporal liveness is defined by the existence of a trajectory. Based on a particular series of matrices, the extremal trajectories starting from an initial interval are deduced. The liveness of the static part and dynamic part are analysed
Keywords
Petri nets; graph theory; matrix algebra; P-time Petri nets; P-time event graphs; algebra; extremal trajectories; logical liveness; series of matrices; temporal liveness; Algebra; Control system synthesis; Petri nets; Upper bound;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.382514
Filename
4267664
Link To Document