Colored Petri Nets for Modeling of Discrete Systems