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

【文件属性】：
文件名称：论文研究-基于面向对象Petri网的UML建模技术 .pdf
文件大小：248KB
文件格式：PDF
更新时间：2022-09-05 05:03:37
面向对象 基于面向对象Petri网的UML建模技术，折建峰，简炜，UML作为通用面向对象建模语言缺乏形式化的模型验证和分析工具，Petri网有严格的数学定义和多种模型的验证方法。本文提出一种从UML的�