| 一种基于线性逻辑的时间Petri网推理方法 |
| |
| 引用本文： | 高梅梅,吴智铭.一种基于线性逻辑的时间Petri网推理方法[J].计算机研究与发展,2000,37(12):1452-1456. |
| |
| 作者姓名： | 高梅梅 吴智铭 |
| |
| 作者单位： | 上海交通大学自动化研究所,上海,200030 |
| |
| 基金项目： | 国家自然科学基金!(项目编号 6 0 0 740 11)，上海市计算机理论基础研究基金 |
| |
| 摘 要： | 针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .
|
| 关 键 词： | 时间Petri网 线性逻辑 时间推理 |
A TEMPORAL REASONING METHOD OF TIME PETRI NETS BASED ON LINEAR LOGIC |
| |
| GAO Mei-Mei,WU Zhi-Ming.A TEMPORAL REASONING METHOD OF TIME PETRI NETS BASED ON LINEAR LOGIC[J].Journal of Computer Research and Development,2000,37(12):1452-1456. |
| |
| Authors: | GAO Mei-Mei WU Zhi-Ming |
| |
| Abstract: | A translation from time Petri nets to linear logic is presented in this paper. The definition of time Petri nets is described by defining the translations in Petri nets using the connectives in linear logic, and fire rules in time Petri nets are defined using linear logic. The behavior of time Petri nets can be constructed and temporal reasoning can be realized using the rules defined. The behavior of time Petri nets can be analyzed clearly using the method introduced. |
| |
| Keywords: | time Petri nets linear logic temporal reasonin |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
