首页> 中文会议>第十二届全国petri网理论与应用学术年会 >一种将时间Petri网转化为时间自动机的方法

一种将时间Petri网转化为时间自动机的方法

页面导航

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

摘要

为了对一种特定的时间Petxi网模型的性质进行分析和验证,给出了一种将时间Petri网转化为时间自动机的方法。将时间Petri网转化为时间自动机后,就可用常见的基于时间自动机的模型检测工具去验证系统是否满足某些必要的性质。

著录项

来源
《第十二届全国petri网理论与应用学术年会》|2009年|6-832|共4页
会议地点天津
作者
夏传良;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类自动机理论;
关键词
时间Petri网; 时间自动机; 验证系统; 模型检测;

相似文献

中文文献
外文文献
专利

1. 一种基于时间自动机模型的区域控制器测试序列生成方法 [J] . 宋爽 ,刘伯鸿 ,周科 . 铁道标准设计 . 2018,第008期
2. 一种基于时间自动机的测试用例生成和构造方法 [J] . 刘晓建 ,杜慧秋 ,朱智林 . 微电子学与计算机 . 2015,第9期
3. 一种层次式时间自动机模型检测方法 [J] . 周宇 ,胡军 ,葛季栋 . 计算机应用与软件 . 2012,第011期
4. 一种基于时间自动机的实时工作流时序约束建模方法 [J] . 龙世荣 ,汪宏海 ,张广泉 . 广西教育学院学报 . 2010,第001期
5. 一种基于时间自动机网络的实时系统形式化验证方法 [J] . 刘传会 ,张广泉 . 苏州大学学报（自然科学版） . 2008,第001期
6. 一种层次式时间自动机模型检测方法 [C] . ZHOU Yu ,周宇 ,HU Jun . 2012中国计算机大会 . 2012
7. Uppaal时间自动机规格说明到PVS时间自动机模板的转换 [A] . 刘振通 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号