基于Petri网等价理论的模型一致性分析技术 - 第十二届全国petri网理论与应用学术年会.pdf

8 0
2026-1-11 15:14 | 查看全部 阅读模式

会议论文《基于Petri网等价理论的模型一致性分析技术》发表于第十二届全国Petri网理论与应用学术年会。该文探讨了如何利用Petri网等价理论对系统模型进行一致性分析,提出了一种有效的验证方法,以确保不同模型之间在行为和结构上的兼容性。研究对于提高复杂系统的建模准确性与可靠性具有重要意义。

文档为pdf格式,0.54MB,总共4页。

基于Petri网等价理论的模型一致性分析技术 - 第十二届全国petri网理论与应用学术年会
文件大小:
552.96 KB
高速下载
2026 资料下载 联系邮件:1991591830#qq.com 浙ICP备2024084428号-1