A decomposition approach for stochastic Petri net models
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The authors present a decomposition approach for the solution of large stochastic Petri nets (SPNs). The overall model consists of a set of submodels whose interactions are described by an import graph. Each node of the graph corresponds to a parametrized SPN submodel and an arc from submodel A to submodel B corresponds to a parameter value that B must receive from A. The quantities exchanged between submodels are based on only three primitives. The import graph is normally cyclic, so the solution method is based on fixed point iteration. The authors apply their technique to the analysis of a flexible manufacturing system.Keywords
This publication has 5 references indexed in Scilit:
- Numerical solution of sparse singular systems of equations arising from ergodic markov chainsCommunications in Statistics. Stochastic Models, 1989
- Bounding availability of repairable systemsIEEE Transactions on Computers, 1989
- Reliability Modeling Using SHARPEIEEE Transactions on Reliability, 1987
- Decomposition in Reliability Analysis of Fault-Tolerant SystemsIEEE Transactions on Reliability, 1983
- Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker AlgebraIEEE Transactions on Reliability, 1981