面向对象代数 Petri网 (2006年)

【文件属性】：

文件名称：面向对象代数 Petri网 (2006年)

文件大小：263KB

文件格式：PDF

更新时间：2024-05-29 02:10:30

工程技术 论文

在软件方法学领域已有研究成果的基础上,提出了面向对象代数的 Petri模型。该模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,提高了并发系统动态建模和复杂系统的高级建模的能力。