ccpn

The Curry-Coloured Petri Net (CCPN) simulator and its Git submodule repositories.