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
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;
Conference_Titel :
Simulation Symposium, 2001. Proceedings. 34th Annual
Conference_Location :
Seattle, WA
Print_ISBN :
0-7695-1092-2
DOI :
10.1109/SIMSYM.2001.922120
