C

ccpn-kics2

Project information

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.

Created on

August 08, 2017

Loading