Agent-Based Distributed Execution of Coloured Petri Nets

This paper introduces jCPN, a Java toolset which enables visual modelling and distributed execution of complex Coloured Petri Net models. jCPN relies on Java for net annotations and kernel implementation. Distribution support depends on agents which facilitate partitioning and execution of a large model on a parallel virtual machine built over Internet. The paper describes the design of jCPN and illustrates its concrete use through examples