论文研究-基于面向对象Petri网的UML建模技术 .pdf

【文件属性】：

文件名称：论文研究-基于面向对象Petri网的UML建模技术 .pdf

文件大小：248KB

文件格式：PDF

更新时间：2022-09-05 05:03:37

面向对象

基于面向对象Petri网的UML建模技术，折建峰，简炜，UML作为通用面向对象建模语言缺乏形式化的模型验证和分析工具，Petri网有严格的数学定义和多种模型的验证方法。本文提出一种从UML的�