A MODEL OF SYSTEMS WITH SHARED RESOURCES AND ANALYSIS OF APPROXIMATE PERFORMANCE
Chuang Lin · Chinese Journal of Computers · 1997
This paper describes a stochastic Petri net (SPN) model of systems withshared resources. Base on the transition predicates, the SPN model can be refinedand easily decomposed into near independent submodels. The exchange methods ofmarking probabilities and average number of tokens are applied to fixed point iteration. Examples in this paper show that these methods are efficient and exact forperformance analysis. In iteration of two methods, it is proved that a fixed pointexists. The approximate performance analysis technology of this paper can be applied to performance models of some complex systems.