会议论文《一种将时间Petri网转化为时间自动机的方法》发表于第十二届全国Petri网理论与应用学术年会。该文提出了一种将时间Petri网转换为时间自动机的系统化方法，旨在实现两种模型之间的互操作性与分析一致性。通过形式化转换规则，该方法有助于利用时间自动机的验证工具对时间Petri网进行更高效的时序分析与验证。
文档为pdf格式，0.52MB，总共4页。
举报
