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)