Designing coloured Petri net models: a method