基于线性时态逻辑的Petri网模型检测研究

赵晓凡; 周清雷; 赵东明

首页> 中文期刊> 《科技与创新》 >基于线性时态逻辑的Petri网模型检测研究

基于线性时态逻辑的Petri网模型检测研究

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

线性时态逻辑Petri网结合了Petri网和时序逻辑的优点,清晰简洁的描述并发系统事件间的时序和因果关系,包括系统的活性和安全性。其中自动机的体积是模型检验的一个关键性问题,为了得到尽可能小体积的自动机,在LTL公式转换为Büchi自动机之前,对LTL公式进行预处理来减少冗余,然后通过布尔技术优化自动机。

著录项

来源
《科技与创新》 |2009年第3期|100-101|共3页
作者
赵晓凡; 周清雷; 赵东明;
展开▼
作者单位

郑州大学信息工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
线性时态逻辑; Petri网; Büchi自动机; 模型检测;

相似文献

中文文献
外文文献
专利

1. 基于线性时态逻辑的Petri网模型检测 [J] . 蒋屹新 ,林闯 ,邢栩嘉 . 系统仿真学报 . 2003,第z1期
2. 具有模糊时态的广义可能性线性时序逻辑的模型检测 [J] . 梁常建 ,李永明 . 电子学报 . 2017,第012期
3. 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 [J] . 林闯 ,刘婷 ,曲扬 . 计算机学报 . 2001,第012期
4. 基于线性时态逻辑的物联网操作系统安全性设计 [J] . 张华强 ,李凯航 ,王继刚 . 电子技术应用 . 2020,第002期
5. 基于度量线性时态逻辑的近似安全性 [J] . 蔡泳 ,钱俊彦 ,潘海玉 . 计算机科学 . 2020,第010期
6. 基于线性时态逻辑的Petri网模型检测 [C] . 蒋屹新 ,林闯 ,邢栩嘉 . 第九届全国Petri网学术年会 . 2003
7. 基于Petri网与时态逻辑的工作流模型及模型验证 [A] . 杨秋妹 . 2006

基于线性时态逻辑的Petri网模型检测研究

摘要

著录项

相似文献

相关主题

期刊订阅