Coloured Petri Nets by Kathryn Jensen, Kurt Jensen & Lars Kristensen