For the most recent entries see the Petri Nets Newsletter.

Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.

Anisimov, N. A.; Golenkov, E. A.; Kharitonov, D. I.

In: Programming and Computer Software, Vol.26, No.6, Kluwer, pages 309-319. November 2001. ISSN 0361-7688.

Abstract: In the paper, a formal model based on Petri nets is proposed in the context of a compositional approach to the development and analysis of complex concurrent and distributed systems. Mutlilabels of Petri nets are introduced allowing labeling a transition not only with a single symbol, but also with a multiset of symbols. Operations on multilabeled Petri nets parallel composition and restriction are defined. A definition of a Petri net entity is given based on the notion of multilabels. A Petri net entity is a Petri net with a set of multilabels, where each multilabel is regarded as an access point of the entity. The operation of entity composition is introduced. Equivalence of entities is defined based on bisimulation equivalence of Petri nets. It is shown that the equivalence relation is congruent with respect to entity composition. It is also demonstrated that the composition operation is commutative and associative.

Keywords: concurrent systems, distributed systems, Petri nets, Petri net entity, compositionality.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography