Coloured Petri Nets - innbundet, Engelsk, 1996