基于Petri网的电子政务工作流模型研究

设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。

基于层次Petri网工作流的航空装备维修流程建模

考虑到航空装备维修工作的复杂性,在传统Petri网的基础上,利用层次建模方法,与工作流方法结合,给出基于层次Petri网的工作流网定义,并将其运用到航空装备的维修流程建模上。在对航空装备维修流程逻辑分析的基础上,结合一线保障实际经验,以机务实际工作中更换飞机发动机流程为例,对工作流程进行分析,建立其工作流程的顶层网模型与子网模型,较好地解决维修工作中的复杂性问题,提高了建模流程的效率,为下一步的量化分析奠定了基础。