|
|||||
|
|
| 一种基于线性逻辑的时间Retri网推理方法 | |
| 引用本文： | 高梅梅,吴智铭.一种基于线性逻辑的时间Retri网推理方法[J].计算机研究与发展,2000,37(12):1452-1456. |
| 作者姓名： | 高梅梅 吴智铭 |
| 作者单位： | [1]上海交通大学自动化研究所，上海 [2]200030 |
| 摘 要： | 针对传统分析方法的不足，提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑，定义了时间Petri网中变迁之间的各种解发规则，在这些规则的基础上，提出了时间Petri网运行行为的证明方法，此方法能清楚地分析时间Petri网的运行行为和进行时间推理。 |
| 关 键 词： | 时间Petri网 线性逻辑 时间推理 |
| 本文献已被 维普 等数据库收录！ | |