DocumentCode
2002453
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
fYear
2011
fDate
May 31 2011-June 3 2011
Firstpage
254
Lastpage
260
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logistics (LOGISTIQUA), 2011 4th International Conference on
Conference_Location
Hammamet
Print_ISBN
978-1-4577-0322-5
Type
conf
DOI
10.1109/LOGISTIQUA.2011.5939299
Filename
5939299
Link To Document