摘要
介绍了一般Petri网代数表示的基本定义 ,分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中 ,形成了面向对象赋时Petri网模型 ,讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型 ,并运用可达树分析方法分析了网模型的活性。
This paper introduces the basic definition of algebraic expression of common Petri net. The two methods on the time factor of timed Petri net are analyzed. Integrating object oriented modeling technique into Petri net gives birth to model of object oriented timed Petri net. It discusses the approach of setting up workflow model based on these methods. With the object oriented timed Petri net, it shows the workflow model of business process in a manufacturing enterprise, analyzes the liveness of the Petri net by means of the reachability tree.
基金
总装备部"十五"预研资助项目 (41318115 )
