C
ccpn-curry-base
Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-base with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.
Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-base with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.