This paper proves that any coloured Petri Net can be equivalently variated into a Place/Transition Net, and discribes the equivalent variation algorithm.
英
美
- 本文证明了任意一个着色网都可以转换成与其等价的基本网,并给出了这种等价转换的算法。