In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 192-211. Springer-Verlag, June 1996.
Abstract: Stochastic Well Formed Nets (SWNs) are a powerful Petri Net model which allows the computation of performance indices with an aggregation method. Decomposition methods initiated by B. Plateau are another way to reduce the complexity of such a computation. We have shown in a previous work, how to combine these two approaches for systems with synchronous composition. Despite similarities between the asynchronous and synchronous cases, it turns out that the former presents specificities that need theoretical foundations. We undertake this task in the present paper. We derive necessary conditions on the modeled systems that allow for the two methods to be combined. For parallel systems satisfying these necessary conditions we develop a model with the corresponding algorithm. This model, based upon synchronization of `global' tokens moving across submodels, covers a large range of real life systems. An example shows the intuitive ideas behind these developments.