着色网到基本网的等价变换  

The Equivalent Variation from Coloured Petri Nets to P/T Nets

作　　者：唐培和[1] 

机构地区：[1]广西工学院计算机与电气工程系

出　　处：《广西工学院学报》1995年第3期53-57,共5页Journal of Guangxi University of Technology

摘　　要：本文证明了任意一个着色网都可以转换成与其等价的基本网，并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。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.

关 键 词：着色网 等价变换 基本网 算法 

分 类 号：O157.5[理学—数学]