학술논문

Modeling and analysis of distributed state space generation for timed Petri nets
Document Type
Conference
Source
Proceedings. 34th Annual Simulation Symposium Simulation symposium Simulation Symposium, 2001. Proceedings. 34th Annual. :93-98 2001
Subject
Computing and Processing
State-space methods
Petri nets
Reachability analysis
Distributed control
Performance analysis
Stochastic systems
Discrete event simulation
Switches
Computer science
Artificial intelligence
Language
ISSN
1080-241X
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.