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

摘要：

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

关键词： 时间Petri网 时间自动机 验证系统 模型检测

作者: 夏传良

作者单位: 中国科学院 计算机科学国家重点实验室,北京 100190 山东建筑大学 计算机科学与技术学院,济南 250101

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 6-8,32

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）