An approach to distributed state space exploration for coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3099, Issue , 2004, Pages 474-483

  Kristensen, Lars M ^a,b   Petrucci, Laure ^a,b  

^a AARHUS UNIVERSITY   (Denmark)

^b Laboratoire d'Informatique de Paris Nord Villetaneuse   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SPACE RESEARCH;

COLOURED PETRI NETS; COMPUTER TOOLS; CPN TOOLS; DISTRIBUTED STATE; SINGLE-THREADED; TERMINATION DETECTION;

PETRI NETS;

EID: 35048813151     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_28     Document Type: Article

References (17)

1. J. Barnat, L. Brim, and J. Stříbrná. Distrubuted LTL model checking in SPIN. In Proc. of SPIN 2001, volume 2057 of LNCS, pages 200-216. Springer-Verlag, 2001.
2. G. Behrmann. A Performance Study of Distributed Timed Automata Reachability Analysis. In Lubos Brim and Orna Grumberg, editors, Electronic Notes in Theoretical Computer Science, volume 68. Elsevier, 2002.
3. G. Behrmann, T. Hune, and F. Vaandrager. Distributed Timed Model Checking How the Search Order Matters. In Proc. of CAV'00, volume 1855 of LNCS, pages 216-231. Springer-Verlag, 2000.
4. B. B́rard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer-Verlag, 2001.
5. L. Brim and O. Grumberg, editors. Proc. of 1st Workshop on Parallel and Distributed Model Checking, volume 68 of Electronic Notes in Theoretical Computer Science, October 2002.
6. L. Brim and O. Grumberg, editors. Proc. of 2nd Workshop on Parallel and Distributed Model Checking, volume 89 of Electronic Notes in Theoretical Computer Science, September 2003.
7. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
8. The CPN Tools Homepage. http://www.daimi.au.dk/CPNtools.
9. The Design/CPN Homepage. http://www.daimi.au.dk/designCPN.
10. E.W. Dijkstra. Derivation of a Termination Detection Algorithm for Distributed Computations. Information Processing Letters, 16:217-219, 1983.
11. G. Farret and G. Carré. Distributed Methods for Computation and Analysis of a Coloured Petri Net State Space. Master's thesis, Department of Computer Science, University of Aarhus, August 2002.
12. G. Gallasch and L. M. Kristensen. Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN. In Proc. of the 3rd Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01), pages 79-93. Department of Computer Science, University of Aarhus, 2001. DAIMI PB-554, ISSN 0105-8517.
13. H. Garavel, R. Mateescu, and I. Smarandache. Parallel State Space Construction for Model-Checking. In Proc. of SPIN 2001, volume 2057 of LNCS, pages 217-234. Springer-Verlag, 2001.
14. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. - Volume 1: Basic Concepts. Springer-Verlag, 1992.
15. F. Lerda and R. Sisto. Distributed-Memory Model-Checking with SPIN. In Proc. of SPIN 1999, volume 1680 of LNCS, pages 22-39. Springer-Verlag, 1999.
16. U. Stern and D.L. Dill. Parallelizing the Murø Verifier. In Prooceedings of CAV'97, volume 1254 of LNCS, pages 256-278. Springer-Verlag, 1997.
17. A. Valmari. The State Explosion Problem. In Lectures on Petri Nets I: Basic Models, volume 1491 of LNCS, pages 429-528. Springer-Verlag, 1998.