Coloured Petri Nets - inbunden, Engelska, 1994