The equivalent transformation and algorithm from Coloured Petri Net to P/T net

This paper provides credible evidence that any Coloured Petri Net can be equivalently variated into a Place/Transition Net. The algorithm of this transformation has been given and its feasibility also has been tested. It also offers a method analyzing the properties of the coloured Petri Net using the analysis technology for Place/Transition Nets.