| 一种基于线性逻辑的Petri网分析方法 |
| |
| 引用本文： | 高梅梅 吴智铭. 一种基于线性逻辑的Petri网分析方法[J]. 计算机科学, 2000, 27(4): 18-20 |
| |
| 作者姓名： | 高梅梅 吴智铭 |
| |
| 作者单位： | 上海交通大学电子信息学院自动化系,上海,200030 |
| |
| 摘 要： | 1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。Petri网理论提供了强大的分析方法,如不变量分析、系统性能分析(如活性)等以证明系统的正确性。近年来Petri网也被用来表示知识推理,例如用于诊断和监控,这就需要发展一种关于Petri网行为的推理主题。有些学者把经典逻辑和Petri网相结合,用Petri网表示产生式规则系统,网的框架代表基于产生式规则
|
| 关 键 词： | Petri网络 线性逻辑 离散事件系统 |
An Analysis Method of Petri Nets Based on Linear Logic |
| |
| Abstract: | The paper presents a translation from Petri nets to linear logic with the objective ot enhancing the analysis ability of Petri nets. The definition of Petri nets is described by defining the translations in Petri nets using the connectives in linear logic,and the behavior of Petri nets is constructed using the rules we defined. The behavior of Petri nets can be described precisely and clearly using this method. |
| |
| Keywords: | Petri nets Linear logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
