Abstract:
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 ...Show MoreMetadata
Abstract:
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.
Date of Conference: 10-12 August 2010
Date Added to IEEE Xplore: 23 September 2010
ISBN Information:
Contents 