Titlebook: Application and Theory of Petri Nets 1995; 16th International C Giorgio Michelis,Michel Diaz Conference proceedings 1995 Springer-Verlag Be

全能

Modular state space analysis of coloured Petri Nets,paces. 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 sing