| 各类Petri网语言间的关系 |
| |
| 引用本文： | 刘关俊,蒋昌俊,陈黎静.各类Petri网语言间的关系[J].系统仿真学报,2007,19(7):1633-1638. |
| |
| 作者姓名： | 刘关俊 蒋昌俊 陈黎静 |
| |
| 作者单位： | 1. 山东科技大学信息科学与工程学院,青岛,266510
2. 山东科技大学信息科学与工程学院,青岛,266510;同济大学计算机系,上海,201804 |
| |
| 基金项目： | 国家自然科学基金;国家自然科学基金 |
| |
| 摘 要： | Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点。
|
| 关 键 词： | Petri网 语言 属型 类 |
| 文章编号： | 1004-731X（2007）07-1633-06 |
| 收稿时间： | 2006-02-26 |
| 修稿时间： | 2006-10-07 |
Relations of All Classes of Petri Net Languages |
| |
| LIU Guan-jun,JIANG Chang-jun,CHEN Li-jing.Relations of All Classes of Petri Net Languages[J].Journal of System Simulation,2007,19(7):1633-1638. |
| |
| Authors: | LIU Guan-jun JIANG Chang-jun CHEN Li-jing |
| |
| Institution: | 1.College of Information, SDUST, Qingdao 266510, China; 2.Department of Computer, Tongji University, Shanghai 201804, China |
| |
| Abstract: | 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. |
| |
| Keywords: | petri net language type class |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
