In: 5th International Workshop on Petri Nets and Performance Models, Toulouse (F) 19.-22. October 1993, pages 216-225. 1993.
Abstract: The classes of Stoachatic Well-Formed colored Nets (SWNs) and Hierarchical Generalized Colored Stochastic Petri Nets (HGCSPNs) have been recently introduced for the specification and analysis of complex systems. SWNs allow the specification of models including symmetries in a very compact way and additionally can be used to generate a reduced Markov chain (MC) from the net specification by exploiting symmetries in the model. HGCSPNs allow a modular specification of a net using several smaller parts. This decomposition of the net specification can also be used to handle the state explosion of the underlying MC by describing the generator matrix using only much smallr subnet matrices. In this paper we combine SWNs and HGCSPNs allowing the automatic generation of a reduced MC from the hierarchical net specification. Furthermore we introduce approximative aggregation techniques for hierarchical nets