Title :
About numerical methods for timed and continuous Petri nets
Author :
Lefebvre, Dimitri
Author_Institution :
GREAH, Univ. du Havre, Le Havre, France
Abstract :
This article points out the influence of the time increment in numerical algorithms that concern Petri nets models. Shorts algorithms are proposed for T-timed Petri nets and continuous Petri nets with variable speeds to provide the marking evolution. Numerical errors are discussed in both cases. Concerning T-timed Petri nets, conditions are given such that numerical errors do not arise. Concerning continuous Petri nets with variable speeds the numerical errors are related to the solver and to the time increment. An example is proposed to point out the importance of the time increment choice.
Keywords :
Petri nets; error analysis; T-timed Petri nets; continuous Petri nets; hybrid systems; numerical algorithms; numerical errors; time increment; Computer aided manufacturing; Computer errors; Computer networks; Differential equations; Instruction sets; Network synthesis; Petri nets; Stability; Switching systems; Transportation;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1173322