一种基于面向对象 Petri 网的并发程序建模方法

Object Oriented Petri Net Based Method for the Concurrent Program Modeling

介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述．

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.