论文信息 - Modular State Space Analysis of Coloured Petri Nets

Modular State Space Analysis of Coloured Petri Nets

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.

Laure Petrucci | Søren Christensen | L. Petrucci | S. Christensen

[1] Sren Christensen. Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets , 1991 .

[2] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .

[3] Laure Petrucci,et al. Towards a Modular Analysis of Coloured Petri Nets , 1992, Application and Theory of Petri Nets.

[4] Tadao Murata,et al. Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis , 1994, IEEE Trans. Software Eng..

[5] Antti Valmari,et al. Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.

[6] Antti Valmari,et al. Compositional State Space Generation , 1991, Applications and Theory of Petri Nets.

[7] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts , 1992 .

[8] Peter Huber,et al. Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[9] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .