论文部分内容阅读
介绍了一般Petri网代数表示的基本定义,分析了赋时Petri网引入时间因素的两种方式.将面向对象建模技术融入到Petri网模型中,形成了面向对象赋时Petri网模型,讨论了建立基于面向对象赋时Petri网的工作流模型的步骤.最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型,并运用可达树分析方法分析了网模型的活性.