简介:Petri网作为一种有完备自动化理论的形式描述语言,既有严格的数学表述方式,也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之中,在基本Petri网的基础上,添加了很多新的语法特性,增强了Petri网的描述能力。新特性的加入在丰富了语义概念的同时,也带来了兼容性、完备性、一致性的问题,所以有必要对Petri网语义方面的研究做一个梳理.为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri网语义方面的研究现状,主要集中在Petri网语义的转换、扩充及其在具体运用中的语义.
简介:Petri网模型是FMS动态仿真的有利工具.本文利用面向对象方法对FMS和有色赋时Petri网进行了描述,并根据最小下次事件时间推进原理,利用VisualC++建立了动态调度仿真系统.结果表明,面向对象方法具有表达直观和自然,可扩充性,实现容易和简便等优点.
简介:流程配置是业务流程优化的核心内容之一。现有方法主要是对细粒度的流程模型添加配置信息来实现配置操作,细粒度流程模型中存在许多非重要信息导致配置优化复杂,本文提出了基于业务流程模型抽象的流程配置优化。首先依据行为轮廓对源模型进行抽象,经过抽象后使得细粒度的流程模型可以获得行为保持的粗粒度抽象模型。然后对抽象模型添加配置信息,实现业务流程的配置优化分析。最后通过具体的材料采购业务流程模型实例分析,验证了该方法的有效性。
Petri网语义研究综述
基于Petri网的PMS动态调度仿真
基于Petri网流程配置的材料采购系统优化分析