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