In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 106-125. Springer-Verlag, 1993.
Abstract: Hierarchies are integrated in the class of Generalized Colored Stochastic Petri Nets (GCSPNs). The use of hierarchies supports the specification of nets describing large real-world systems. Moreover, the new model class can be analysed extremely efficient according to qualitative and quantitative results. Techniques for quantitative analysis, qualitative analysis and subnet aggregation are introduced. The usability of the approach is shown by means of a non-trivial example from literature.