Tools for Curry-Coloured Petri Nets

摘要

The Curry-coloured Petri net (CCPN) simulation combines Petri nets with the purely functional logic programming language Curry. The most notable aspects of the CCPN simulator are the absence of side effects, the use of logic program evaluation for the transition binding search and a concurrent simulation. Furthermore, the inscribed programs can be non-deterministic. In this contribution we present the tools that were developed so far: simulator, editor, reachability graph and library.