Coloured Petri Nets - inbunden, Engelska, 1997