Asynchronous Composition of High-level Petri nets: a Quantitative Approach
Haddad, Serge; Moreaux, Patrice (1996), Asynchronous Composition of High-level Petri nets: a Quantitative Approach, in Billington, Jonathan; Reisig, Wolfgang, Application and Theory of Petri Nets 1996 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings, Springer : Berlin, p. 192-211. http://dx.doi.org/10.1007/3-540-61363-3_11
TypeCommunication / Conférence
Conference title17th International Conference on application and theory of Petri nets, ICATPN 1996
Book titleApplication and Theory of Petri Nets 1996 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
Book authorBillington, Jonathan; Reisig, Wolfgang
Series titleLecture Notes in Computer Science
Number of pages549
MetadataShow full item record
Abstract (EN)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.
Subjects / Keywordsasynchronisation; synchronisation; parallel systems; decomposition; aggregation; Petri nets; Stochastic Well Formed Nets
Showing items related by title and author.