A Coloured Petri Net simulator implemented in Scala as part of my master's thesis.