各类Petri网语言间的关系  

Relations of All Classes of Petri Net Languages

作　　者：刘关俊[1] 蒋昌俊[1] 陈黎静[1] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510

出　　处：《系统仿真学报》2007年第7期1633-1638,共6页Journal of System Simulation

基　　金：国家自然科学基(60473094);国家自然科学基金重点项目(60534060)。

摘　　要：Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点。Petri net language is an important component of Petri net theory and can reflect simulating power of Petri net. It is also one of important methods for analyzing system behavior and applied in many fields. The relations of 12 classes of Petri net languages have been studied roughly. Based on the relations of these classes, more detailed relations were described that some classes contain others properly and some ones are intersecting but not contained mutually. So these containment relations can reflect different simulating powers of them more accurately. Some characters of these classes are shown in the proof processes.

关 键 词：PETRI网 语言 属型 类 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]