Coloured Petri Nets for object-oriented modelling. - Sarah L. English (1993)