Automated time scale decomposition and analysis of stochastic Petri nets
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 248-257
- https://doi.org/10.1109/pnpm.1993.393446
Abstract
The automated application of time-scale decomposition to stochastic Petri nets is studied. Time-scale decomposition exploits the tendency of a system to approach a short-term equilibrium between relatively rare events and has been extensively studied in the context of Markov chains and queuing networks. Previous approaches for applying time-scale decomposition to SPN models relied heavily upon human insight in ways what hampered algorithmic implementation. A simple and effective method for specifying the time-scale decomposition of a SPN is presented, and solution techniques that take advantage of structural information from the SPN are described.Keywords
This publication has 7 references indexed in Scilit:
- Colored GSPN models and automatic symmetry detectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A decomposition approach for stochastic Petri net modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Time scale decomposition of a class of generalized stochastic Petri net modelsIEEE Transactions on Software Engineering, 1989
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri NetsPublished by Springer Nature ,1989
- Performance analysis of synchronization for two communicating processesPerformance Evaluation, 1988
- Aggregation of Variables in Dynamic SystemsEconometrica, 1961