基于Uppaal的时延Petri网到时间自动机等价模型验证

• 作者: 周清雷 王静
• 来源期刊: 计算机应用研究
• 关键词: 时延Petri网 时间自动机 TPN-to-TA转换 Uppaal
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 研究探讨
• 页码范围: 64-66
• 页数: 3页
• 分类号: TP301.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2005.06.021

摘要

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析.利用时延Petri网到时间自动机等价转换算法(简记作TPN-to-TA 转换),将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型.使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王静	郑州大学信息工程学院	364	1468	16.0	23.0
2	周清雷	郑州大学信息工程学院	109	475	10.0	16.0