An innovative approach to operational validation process based on CPN (Colored Petri Nets)