一种有效的基于LTL和Petri网的模型检测方法

张斌; 罗贵明; 王平

首页> 中文期刊> 《计算机应用》 >一种有效的基于LTL和Petri网的模型检测方法

一种有效的基于LTL和Petri网的模型检测方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

模型检测的一个主要方法是构建线性与时序逻辑(LTL)公式ψ的否定形式等价的Büchi自动机A┐ψ和系统模型M的正交积,并检测正交积的可接受语言是否为空.通过对Generalized Büchi自动机进行化简,可以减小自动机的状态空间,从而提高模型检测的效率.根据所提出的方法设计并实现的基于LTL和Petri网进行模型检测的工具包,可以有效地对基于Petri网表示的系统模型进行模型检测.

著录项

来源
《计算机应用》 |2006年第10期|2490-2493|共4页
作者
张斌; 罗贵明; 王平;
展开▼
作者单位

清华大学;

软件学院;

北京;

100084;

清华大学;

软件学院;

北京;

100084;

沈阳军区装备部;

辽宁;

沈阳;

110021;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
模型检测; 线性时序逻辑; 自动机; Petri网;

相似文献

中文文献
外文文献
专利

1. 一种基于Büchi自动机的LTL程序模型检测方法 [J] . 罗清胜 . 计算机与现代化 . 2010,第008期
2. 一种基于Petri网的指控信息网死锁的检测方法 [J] . 张力 ,慕晓冬 ,董莹 . 计算机应用与软件 . 2009,第008期
3. 一种基于Petri网的构件特征干扰检测方法 [J] . 李敏 ,王元珍 ,李桂玲 . 四川大学学报（工程科学版） . 2008,第004期
4. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法 [J] . 鲁法明 ,崔明浩 ,包云霞 . 计算机集成制造系统 . 2021,第009期
5. 基于PPTL的着色Petri网的模型检测方法 [J] . 门鹏 . 科学技术与工程 . 2013,第005期
6. 一种基于着色Petri网的RBAC策略冲突检测方法 [C] . 罗杨 ,梁晓艳 ,夏春和 . 第8届全国计算机支持的协同工作学术会议（CCSCW-2012）暨全国第23届计算机技术与应用学术会议（CACIS-2012） . 2012
7. 基于深度学习的蓝筹股短期量化投资策略研究：一种有效的深度卷积网络预测模型构造 [A] . 田兵 . 2020

一种有效的基于LTL和Petri网的模型检测方法

摘要

著录项

相似文献

相关主题

期刊订阅