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