An Approach to Distributed State Space Exploration for Coloured Petri Nets

  title={An Approach to Distributed State Space Exploration for Coloured Petri Nets},
  author={Lars Michael Kristensen and Laure Petrucci},
We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space exploration is based on the introduction of a coordinating process and a number of worker processes. The worker processes are responsible for the storage of states and the computation of successor states. The coordinator process is responsible for the distribution of states and termination detection. A main virtue of our… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS
24 Citations
14 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 14 references


  • L. Brim, O. Grumberg
  • Proc. of 2nd Workshop on Parallel and Distributed…
  • 2003
1 Excerpt

Distributed Methods for Computation and Analysis of a Coloured Petri Net State Space

  • G. Farret, G. Carré
  • Master’s thesis, Department of Computer Science…
  • 2002
1 Excerpt

Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN

  • G. Gallasch, L. M. Kristensen
  • In Proc. of the 3rd Workshop on Practical Use of…
  • 2001
1 Excerpt

and J

  • J. Barnat, L. Brim
  • Stř́ıbrná. Distrubuted LTL model checking in SPIN…
  • 2001
1 Excerpt

and Ph

  • B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci
  • Schnoebelen. Systems and Software Verification…
  • 2001
1 Excerpt

Model Checking

  • E. Clarke, O. Grumberg, D. Peled
  • The MIT Press,
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…