会议论文《基于Petri网的UML模型行为一致性分析技术研究》发表于2009中国计算机大会，探讨了如何利用Petri网对UML模型进行行为一致性分析。该研究通过将UML状态图转换为Petri网，实现了对系统行为的精确建模与验证，提升了模型的一致性检测能力，为软件工程中的形式化验证提供了有效方法。
文档为pdf格式，0.27MB，总共6页。
举报
