文件名称:论文研究-基于Uppaal的时延Petri网到时间自动机等价模型验证.pdf
文件大小:145KB
文件格式:PDF
更新时间:2022-08-12 00:24:23
时延Petri网,时间自动机,TPN-to-TA转换,Uppaal
时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法(简记作TPN-to-TA 转换),将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证。