HAL : hal-00003392, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

25th International Conference on Application and Theory of Petri Nets, Bologna : Italy (2004)

An Approach to Distributed State Space Exploration for Coloured Petri Nets

Lars Kristensen 1, Laure Petrucci 2

(2004)

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 approach is that it can be directly implemented in the existing single-threaded framework of Design/CPN and CPN Tools. This makes the distributed state space exploration and analysis largely transparent to the analyst. We illustrate the use of the developed tool on an example.

1 :	DAIMI (DAIMI)
	DAIMI
2 :	Laboratoire d'informatique de Paris-nord (LIPN)
	CNRS : UMR7030 – Université Paris XIII - Paris Nord

Domaine

:

Informatique/Autre

hal-00003392, version 1

http://hal.archives-ouvertes.fr/hal-00003392

oai:hal.archives-ouvertes.fr:hal-00003392

Contributeur : Laure Petrucci <>

Soumis le : Lundi 29 Novembre 2004, 10:27:41

Dernière modification le : Jeudi 6 Juillet 2006, 02:11:30