无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

基于Petri网的工作流系统不确定性时间信息的计算

基于工作流系统对时间管理功能有严格的需求, 针对任务执行时间的不确定性, 提出了基于库所时间Petri网的工作流系统建模方法—PT_net. 该方法可以有效计算工作流系统的时间信息, 从而为工作流系统的时间管理和分析提供技术支撑.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

真并发等价性下的流程模型转换方法

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。     

基于Petri网的遥感卫星业务运行管理单元模型设计与仿真

本文首先介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法;然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模;最后利用Petri网仿真软件Visual Object Net 对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明本文所建立的基于Petri网的工作流模型是正确的,并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

JBPM工作流系统在电力配网项目管理中的应用

该文介绍了电力系统配网工程项目管理的流程和工作流的基本概念,通过JBPM工作流系统进行流程建模,实现了项目管理的闭环式管控.     

基于Petri网的工作流建模技术及应用

工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法的比较分析 ,论文选择 Petri网作为工作流建模的主要工具 ,并探讨和总结了工作流程的路由结构、触发机制、可靠性工作流模型的分析方法 ,转换原则和组合性质 ,最后通过一个案例进一步阐述了基于 Petri网的工作流建模技术。实际应用表明该建模方法简单、可行 ,能够保证工作流模型的有效性 ,而且便于工作流网络的计算机形式化表示 ,有利于工作流管理系统 (WFMS)的实现。     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

基于CORBA的工作流管理系统的运行体系结构

工作流管理系统的运行体系结构一直是工作流研究领域的关键问题之一,它关系到一个工作流 运行效率,本文介绍了五种工作管理系统的运行体系结构：从高度集中式到完全分布式,这些运行体系结构都基于ＣＯＲＢＡ的。     

基于工作流技术的高校教务管理系统

工作流技术可以将信息管理系统中的功能模块和过程管理分开,分别进行建模和实行控制,使处理过程自动化,使人以及各种应用工具相互之间协调工作,让合适的人或软件在恰当的时间执行正确的工作。对高校教务管理工作进行分析,在Web开发环境下将工作流技术引入高校教务管理系统,设计一种基于Petri网工作流建模方法及规则。以离校审批业务为例详细分析了构建工作流模型的过程,设计基于B/S结构的高校教务管理系统体系结构,该结构设计方法灵活和易维护,可以较方便地处理高校教务管理业务过程中工作流动态建模问题,以提高系统管理的高水平、高效率,实现高校教务管理水平的现代化和网络化。     

工作流管理系统的发展及其与CSCW的关系

通过对工作流管理系统的发展和应用市场的变化的描述,揭示了工作流管理系统对未来信息管理系统的影响,并根据对当前工作流管理系统发展状况的分析。总结出了在流程建模和系统总结方面的不足,对工作流管理系统的未来发展趋势从流程建模和实施环境两方面进行了总结与预测,提出了MfMS和CSCW的关系是相互联系,相互独立,相互补充的新看法。     

工作流管理的过去、现在和未来

工作流管理是一个新兴的研究领域,被誉为信息系统的后勤,它让合适的人或软件在恰当的时间执行正确的上作,使计算机上的业务处理流程自动化。本文用历史的观点对工作流管理的发展历程进行了回顾,揭示了工作流管理对未来信息系统的影响.根据分析当前的工作流管理系统,我们总结出两个十要不足之处:(1)工作流管理系统的定义不明确以及缺乏统一的概念模型,(2)工作流管理系统的系统结构和能力上的不足,并对工作流管理的未来发展趋势从建模和实施两个方面进行了预测.     

工作流与工作流管理技术综述

工作流是近年来引起许多研究者、开发人员和用户注意的一类软件和系统技术,是企业管理的主要研究内容之一,为企业更好的实现经营目标提供了先进的。本文对工作流技术和工作流管理系统的相关概念、术语进行了介绍;简要说明了当前工作流技术的研究内容,给出了工作流管理系统的几种分类方法,并对工作流管理系统标准进行了简要介绍。     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。