Reduction Method of Colored Petri Nets