HAL: hal-00003392, version 1

Detailed view

Export this paper 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

Subject

:

Computer Science/Other

hal-00003392, version 1

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

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

From: Laure Petrucci <>

Submitted on: Monday, 29 November 2004 10:27:41

Updated on: Thursday, 6 July 2006 02:11:30