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.