This paper proves that any coloured Petri Net can be equivalently variated into a Place/Transition Net, and discribes the equivalent variation algorithm.

  • 本文证明了任意一个着色网都可以转换成与其等价的基本网,并给出了这种等价转换的算法。
目录 查词历史