Haskell-Coloured Petri Nets Implementation and Applications ( work-in-progress ) IFL'04, Lübeck, Germany, 10 September 2004 Claus Reinke.
Haskell-Coloured Petri Nets