An Approach to Distributed State Space Exploration for Coloured Petri Nets
作者： Lars M. Kristensen , Laure Petrucci
DOI: 10.1007/978-3-540-27793-4_28
关键词: Petri net 、 Process (engineering) 、 State space exploration 、 CPN Tools 、 Computer science 、 Artificial intelligence 、 Computation 、 Distributed computing
摘要: We present an approach and associated computer tool support for conducting distributed state space exploration Coloured Petri Nets (CPNs). The is based on the introduction of a coordinating process number worker processes. processes are responsible storage states computation successor states. coordinator distribution termination detection. A main virtue our that it can be directly implemented in existing single-threaded framework Design/CPN CPN Tools. This makes analysis largely transparent to analyst. illustrate use developed example.
springer.com
univ-paris13.fr
archives-ouvertes.fr 
sci-hub.st 参考文章(21)
Ulrich Stern, David L. Dill, Parallelizing the Murϕ verifier computer aided verification. pp. 256- 267 ,(1997) , 10.1007/3-540-63166-6_26
Lubos Brim, Orna Grumberg, Preface: volume 89 Electronic Notes in Theoretical Computer Science. ,vol. 89, pp. 1- 2 ,(2003) , 10.1016/S1571-0661(05)80091-X
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie, Systems and Software Verification Springer Berlin Heidelberg. ,(2001) , 10.1007/978-3-662-04558-9
Lectures on Petri Nets I: Basic Models Springer Berlin Heidelberg. ,(1998) , 10.1007/3-540-65306-6
Orna Grumberg, Different directions in parallel and distributed model checking: (invited talk) Electronic Notes in Theoretical Computer Science. ,vol. 68, pp. 485- ,(2002) , 10.1016/S1571-0661(05)80387-1
Gerd Behrmann, Thomas Hune, Frits Vaandrager, Distributing Timed Model Checking - How the Search Order Matters computer aided verification. pp. 216- 231 ,(2000) , 10.1007/10722167_19
Kurt Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use ,(2011)
Flavio Lerda, Riccardo Sisto, Distributed-Memory Model Checking with SPIN international workshop on model checking software. ,vol. 1680, pp. 22- 39 ,(1999) , 10.1007/3-540-48234-2_3
M. Bidoit, F. Laroussinie, A. Finkel, L. Petrucci, B. Berard, A. Petit, P. Schnoebelen, Systems and Software Verification: Model-Checking Techniques and Tools ,(2001)