各类Petri网语言间的关系

摘要：

Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用.对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系.在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点.

关键词：Petri网、语言、属型、类

所属期刊栏目：19

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金;国家自然科学基金

在线出版日期：2007-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1633-1638