Coloured Petri Nets - sidottu, Englanti, 1994