摘要
本文证明了任意一个着色网都可以转换成与其等价的基本网,并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。
This paper proves that any coloured Petri Net can be equivalently variated into a Place/Transition Net, and discribes the equivalent variation algorithm. It provides a method analyzing the properties of Coloured Petri Net using the analysis technology for Place/Transition Nets.
出处
《广西工学院学报》
CAS
1995年第3期53-57,共5页
Journal of Guangxi University of Technology
关键词
着色网
等价变换
基本网
算法
Coloured Petri Nets
Equivalent variation
Place/Transition Net
Algorithm