*For the most recent entries see the
Petri Nets Newsletter.*

## Modular State Space Analysis of Coloured Petri Nets.

Christensen, Søren;
Petrucci, L.
In:
*Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995.*, pages 201-217.
1995.
Avaiblable at `http://www.daimi.au.dk/CPnets/publ/full-papers/ChrPet1995.pdf`.

Abstract:
State Space Analysis is one of the most developed analysis methods for
Petri Nets. The main problem of state space analysis is the size of the
state spaces. Several ways to reduce it have been proposed but cannot yet
handle industrial size systems. Large models often consist of a set of
modules. Local properties of each module can be checked separately, before
checking the validity of the entire system. We want to avoid the
construction of a single state space of the entire system. When
considering transition sharing, the behaviour of the total system can be
captured by the state spaces of modules combined with a Synchron isation
Graph. To verify that we do not lose information we show how the full
state space can be constructed. We show how it is possible to determine
usual Petri Nets properties, without unfolding to the ordinary state space.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*