Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)

Melbourne, Victoria, Australia

Dec. 2, 1991 to Dec. 5, 1991

ISBN: 0-8186-2285-7

pp: 74-83

G. Ciardo , Software Productivity Consortium, Herndon, VA, USA

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.<>

INDEX TERMS

flexible manufacturing systems, performance evaluation, Petri nets, stochastic automata

CITATION

G. Ciardo and K. Trivedi, "A decomposition approach for stochastic Petri net models,"

*Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM)*, Melbourne, Victoria, Australia, , pp. 74-83.

doi:10.1109/PNPM.1991.238780

CITATIONS