C
ccpn-kics2
Fork of KiCS2: The Kiel Curry System v.2 (https://git.ps.informatik.uni-kiel.de/curry/kics2) with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.
Fork of KiCS2: The Kiel Curry System v.2 (https://git.ps.informatik.uni-kiel.de/curry/kics2) with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.