摘要
介绍了一种基于面向对象Petri网的并发系统建模方法.该方法把面向对象技术与Petri网理论相结合,构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护,是一种具有数学和图形方式相结合的形式化描述.
An approach for concurrent system modeling based on the object oriented high level Petri net is described. The O O Petri net is constructed by combining object oriented techniques with Petri net theory. The modeling of the O O Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability. This approach makes O O system modeling with the description for both formalization and graphics.As an illustration,the producer and consumer concurrent pattern is modeled using object oriented Petri nets.The modeling experience with these nets demonstrates that the decoupling and separation of knowledge and constraints clearly enhance maintenance and reusability in concurrent system modeling.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1998年第4期491-494,共4页
Journal of Beijing University of Aeronautics and Astronautics
基金
航空科学基金
关键词
软件工程
软件工具
建立模型
PETRI网
并发系统
software engineering
software tools
model building
Petri nets
object oriented techniques
concurrent system modeling