For the most recent entries see the Petri Nets Newsletter.

Modular analysis of Petri nets.

Christensen, S.; Petrucci, L.

In: Computer Journal, Vol. 43, No. 3, pages 224-242. 2000.

Abstract: This paper shows how two of the most important analysis methods for Petri nets can be performed in a modular way. The technique is illustrated by means of modular place/transitions nets (modular PT-nets) in which the individual modules interact via shared places and shared transitions. For place invariants, it is shown that it is possible to construct invariants of the total modular PT-net from invariants of the individual modules. For state spaces, it is shown that it is possible to decide behavioral properties

Keywords: behavioral properties, modular Petri nets, modular analysis, net invariants, shared places, shared transitions.

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

Back to the Petri Nets Bibliography