Analysis and Simulation Object Oriented Software by Coloured Petri Nets