Object-Oriented Petri Net Based Method for the Concurrent Program Modeling
-
摘要: 介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.Abstract: 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.
-
1. 蔡希尧,陈平.面向对象技术.西安:西安电子科技大学出版社,1995 2. Lee Y K,Park S J.OPNets:an object-oriented high-level Petri net model for real-time system modeling.J Systems Software,1993,20(1):69~86
点击查看大图
计量
- 文章访问数: 2607
- HTML全文浏览量: 113
- PDF下载量: 1497
- 被引次数: 0