首页> 中文期刊> 《计算机研究与发展》 >一种基于线性逻辑的时间Petri网推理方法

一种基于线性逻辑的时间Petri网推理方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对传统分析方法的不足,提出了时间Petri网的线性逻辑表示和时间推理方法.基于线性逻辑,定义了时间Petri网中变迁之间的各种触发规则,在这些规则的基础上,提出了时间Petri网运行行为的证明方法,此方法能清楚地分析时间Petri网的运行行为和进行时间推理.

著录项

来源
《计算机研究与发展》 |2000年第12期|1452-1456|共5页
作者
高梅梅; 吴智铭;
展开▼
作者单位

上海交通大学自动化研究所;

上海;

200030;

上海交通大学自动化研究所;

上海;

200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
时间Petri网; 线性逻辑; 时间推理;

相似文献

中文文献
外文文献
专利

1. 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 [J] . 林闯 ,刘婷 ,曲扬 . 计算机学报 . 2001,第012期
2. 基于直觉模糊时间Petri网的不确定性时间推理方法 [J] . 任神河 ,郑寇全 ,雷英杰 . 火力与指挥控制 . 2016,第011期
3. 一种基于线性逻辑的Petri网分析方法 [J] . 高梅梅 ,吴智铭 . 计算机科学 . 2000,第004期
4. 模糊时间Petri网及其时间推理方法 [J] . 高梅梅 ,吴智铭 . 计算机科学 . 2000,第007期
5. 一种基于模糊Petri网的并行推理方法 [J] . 徐欢 ,李孝忠 . 系统仿真学报 . 2007,第A01期
6. 一种计算机取证的时间Petri网推理方法 [C] . 张雷 . 2008年中国信息技术与应用学术论坛 . 2008
7. 非线性时间流的定性相图推理方法研究 [A] . 刘方方 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号