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

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