Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems