基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

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

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

基于Petri网的工作流模型的研究与仿真

对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算和仿真实现上分析其合理性。     

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

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

基于WF-net的应急管理工作流模型的研究

本文设计了一种基于Petri网工作流模型的建模方法及其相关规则,并且通过应急管理系统为例,详细阐述了用此方法及其相关规则构建Peril网工作流模型的过程,最后通过Petri网理论对模型进行了正确合理性分析。     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

基于Petri网的保险工作流系统建模及验证

提出基于Petri网的工作流系统业务模型.该模型将Petri网的理论和性质应用于业务工作流系统当中,从系统的运行过程和形式化的图形描述方式两方面实现对工作流系统的快速建模和分析.通过工作流Petri网的语义性质,对所建立的中国人民保险公司的索赔业务工作流系统模型的正确性进行验证和分析,表明此模型有较好的应用效果.     

基于Petri网的对等资源访问控制协议仿真

为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.     

基于复合状态的工作流授权

提出了一个新的工作流授权模型,目的是解决工作流的执行流和授权流不能同步的问题.新模型是基于工作流任务调度的授权系统.通过分析工作流授权状态和工作流任务执行状态之间的转换,将授权状态和执行状态进行绑定,提出了复合状态的概念.然后使用预授权操作和复合状态转换操作完成复合状态的转换,从任务调度的角度解决了工作流的执行流和授权流不能同步的问题.最后通过针对授权同步性能的测试验证了新模型能够使授权流和执行流同步的结论.     

基于工作流的企业过程的建模和仿真技术研究

过程集成是提高企业运行效率、增强企业柔性的一种全面集成方式 ,企业建模和仿真可以为企业过程的分析和优化提供依据 ,是实现过程集成的重要支持技术。工作流技术和集控 Petri网方法作为企业建模和仿真的支撑技术 ,各自都有着明显的优点和不足 ,而它们二者之间具有很强的互补性 ,如果能够将二者巧妙的结合起来 ,将为实现过程集成提供有效的帮助。首先给出了基于工作流的企业过程的建模、仿真、使能系统的模型和体系结构 ,然后介绍了将工作流模型转化为集控 Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法     

QoS约束的云工作流调度算法

将云计算和工作流两者结合起来,并根据用户关心的QoS中执行时间和执行费用问题,针对工作流调度策略在云环境下调度实例密集型工作流时效率不高的问题优化资源调度策略,给出云工作流调度模型,提出一种基于QoS约束的云工作流调度算法MSCWQ(modifiedschedulingalgorithmforcloudworkflowbasedonQoS).该算法利用DAG(directedacyclicgraph)进行建模,优化资源策略,保证在最晚结束时间内使整个工作流实例的执行费用尽可能小.实验结果表明,在调度实例密集型云工作流时,该算法能有效提升科学工作流的执行效率,并能减少资源的使用费用.     

基于Petri网的电子运维系统工作流建模

通过运用工作流网的建模方法,将电子运维系统中的档案提取工作流实例映射为更易于计算机化的工作流网模型。为了提高该模型在实际应用中的执行效率,提出了一种提高系统执行效率的方法。该方法通过应用马尔可夫链理论,检测出影响系统执行效率的瓶颈,通过消除瓶颈达到提高系统执行效率的目的。结果表明将该方法应用于档案提取工作流网模型,可以有效的提高系统的执行效率。     

基于三层调度机制的工作流引擎的研究

通过对工作流执行的本质的研究，根据影响工作流执行的3个基本要素对工作流过程进行逻辑上的分层，提出了基于3层调度的工作流引擎．该方法将工作流过程分成应用层、业务层和表示层，简化了工作流的执行过程，提高了工作流的柔性，增强了对复杂的业务流程应用的支持度．     

Integrated Enterprise Modeling Method Based on Workflow Model and Multiviews

IntroductionThe implementation of a CIM system is a verycomplex process that needs the guidance andsupport of enterprise modeling methodology.Thedevelopment of CIM system theory andmethodology has produced many results in thefield of system modeling,analysis and design,such as CIM Open System Architecture ( CIM-OSA) [1] ,GRAI Integrated Methodology ( GRAI-GIM) [2 ] ,Purdue Enterprise Reference Architecture( PERA) [3 ] ,Architecture of Integrated InformationSystem ( ARIS ) [4 …     

基于经营过程重组的工作流仿真的设计与实现

企业经营过程重组是一项复杂的系统工程,它的实施具有很大的风险性,支持企业经营过程重组的工作流建模与仿真方法可以有效地降低企业经营过程重组和流程再造带来的风险.文章提出了一种支持企业经营过程的工作流仿真系统的体系结构,基于统一建模环境设计了工作流系统的仿真过程,利用VisualC#实现了基于BPR的仿真核心类,并给出核心类的接口和相关的UML视图,在此基础上实现了面向应用的相关类,以实例验证了该方法的有效性.文章所述的方法易于实现,易于理解,具有很好的扩展性,并可以支持大规模的仿真.     

基于活动网络图的柔性工作流系统的设计与实现

介绍了目前国内外工作流技术的研究现状，在分析比较的基础上提出了一种基于活动网络图的柔性工作流系统的设计实现方案。该方案给出了一种工作流运行期的动态控制模型，表现在工作流执行路由、活动功能、相关资源的动态调整，较好地解决了企业实际工作流运行中动态变化的需求。同时，本系统结合了活动网络图直观、易用的特点，C／S、B／S优点结合的工作流部署方案，让用户在轻松直观的环境下快速地建立工作流模型、控制工作流的运行并监视工作流的运行状态。     

工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.     

排队时间感知的动态网格工作流调度

网格资源站点的可靠性将影响站点上任务执行性能,从而影响其他任务的排队等待时间.利用可修排队系统对网格资源站点进行可靠性建模,通过模型求解获得稳态下各资源站点的排队等待时间,提出了排队时间感知的动态网格工作流调度算法并设计了动态网格工作流调度的原型系统.基于GridSim进行了不同网格系统环境设置场景下的仿真实验.实验结果表明,本算法在不同负载和不同失效率的情况下其完成时间明显优于HEFT和CPOP算法,且在平均等待时间方面也比这2种算法高出了50%左右.