An application mode of Colored Petri Nets in Nuclear Digital Instrument & Control System