The practitioner's guide to coloured Petri nets, Kristensen, L. M., Christensen S., and Jensen K. , Inter-national Journal MTTT, 2 (1998) 2, p.98-132, (1998)

Coloured Petri nets: : basic concepts, analysis methods and practical use, Jensen, K. , Berlin, (1992)