GitHub repository: rhz/coloured-petri-nets
Primary language: Haskell
Created: 2015-11-30T04:02:03Z
Description: Simulator and other tools for Coloured Petri nets