Title :
Numerical method to simulate and to analyze Time Petri nets
Author :
Bensouissi, Souhir ; Benzina, Adel ; Abed, Mourad ; Ghedira, Khaled
Author_Institution :
SOIE Res. Unit, Univ. of Tunis, Tunis, Tunisia
fDate :
May 31 2011-June 3 2011
Abstract :
The objective of this paper is to present the numerical method that generate numerically the graph of states and the graph of state classes for Time Petri nets, based on the matrix that describes Petri nets and based on computing power of machines. The results can be used to search for a desired or not desired state by giving realizable firing schedules.
Keywords :
Petri nets; graph theory; numerical analysis; graph; machine power computing; matrix; numerical method; time Petri net; Analytical models; Computer crashes; Electronic mail; Firing; Numerical models; Petri nets; Schedules; Time Petri nets; firing schedule; sequence; state; state class;
Conference_Titel :
Logistics (LOGISTIQUA), 2011 4th International Conference on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4577-0322-5
DOI :
10.1109/LOGISTIQUA.2011.5939299
