DocumentCode
3088140
Title
Modeling and analysis of distributed state space generation for timed Petri nets
Author
Zuberek, W.M. ; Rada, I.
Author_Institution
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
fYear
2001
fDate
2001
Firstpage
93
Lastpage
98
Abstract
The performance of distributed generation of the state space for timed Petri nets is rather sensitive to the type of analyzed nets. In order to analyze the performance of such an application, the distributed generation is represented by a timed Petri net and the behavior of this net is studied, using a simulation technique, for different combinations of modeling parameters
Keywords
Petri nets; formal verification; reachability analysis; simulation; state-space methods; distributed state space generation; modeling; performance; simulation; timed Petri nets; Artificial intelligence; Computer science; Discrete event simulation; Distributed control; Performance analysis; Petri nets; Reachability analysis; State-space methods; Stochastic systems; Switches;
fLanguage
English
Publisher
ieee
Conference_Titel
Simulation Symposium, 2001. Proceedings. 34th Annual
Conference_Location
Seattle, WA
ISSN
1080-241X
Print_ISBN
0-7695-1092-2
Type
conf
DOI
10.1109/SIMSYM.2001.922120
Filename
922120
Link To Document