基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于UML的工作流建模

工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。     

基于构件的Petri-net工作流建模方法

Petri-net是一种行之有效的工作流建模方法.随着工作流的发展,用Petri-net描述的工作流模型越来越复杂,越来越庞大.针对此问题,该文引入构件的思想改善现有的Petri-net建模方法,利用构件的封装性、多态性、可复用性等特点,来增强Petri-net的建模能力,简化Petri-net的模型结构.同时给出了两个模型实例.研究结果表明,与传统的Petri-net模型相比,该建模方法在提高描述能力、降低模型复杂度、提高系统柔性方面有明显优点.     

基于时间Pedti网的工作流建模

随着工作流管理的发展，人们提出了很多扩展Pedti网概念用于工作流建模，描述工作流中的资源，资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作的Pedti网在这方面，并令人满意，该文特别强调资源的概念，在时间Pedti的基础提出了一种新Pedti网－－资源条件／任务网（Resource Condition/Task net，简称RC／TN），利用RC／TN网来进行工作流建模，描述工作流的执行过程，并将该工作流模方法应用于OA流程的描述中。     

基于构件的Petri-net工作流建模方法

Petri—net是一种行之有效的工作流建模方法。随着工作流的发展，用Petri—net描述的工作流模型越来越复杂，越来越庞大。针对此问题，该引入构件的思想改善现有的Petri—net建模方法，利用构件的封装性、多态性、可复用性等特点，来增强Petri—net的建模能力，简化Petri—net的模型结构。同时给出了两个模型实例。研究结果表明，与传统的Petri—net模型相比，该建模方法在提高描述能力、降低模型复杂度、提高系统柔性方面有明显优点。     

基于规则的动态工作流建模方法的研究与设计

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。     

基于元图的工作流建模分析方法

工作流可以有效的规范业务流程、监控流程的执行，而且能够根据客户的需求创建出新流程模型。工作流的建模过程存在一定的复杂性，它要求创建的新模型具有可视化和可操作的特点，同时模型的有效性（即正确性与合理性）也是相当重要的。将元图运用于工作流建模和分析过程，以具体的业务流程为背景，逐步分析隐含在流程中的深层次问题，找出信息元素、活动和资源之间的相互关系，从而确保工作流模型的有效性。     

基于动态结构的柔性工作流建模方法研究

柔性工作流能够快速灵活地适应企业业务流程的动态变化。在分析柔性工作流产生的原因和柔性工作流特性的基础上,详细描述了基于动态结构的柔性工作流的组成及其表示方法,提出了一种柔性工作流建模方法,结合基于Web的客户服务系统,给出了该柔性工作流建模方法的实例。     

基于UML的工作流引擎建模的研究

本文主要使用uML建模技术,对工作流管理系统的核心部分进行建模,并通过用例视图、交互视图、状态机视图以及活动视图对工作流管理系统所应具有的功能层次进行了分析。     

基于构件的工作流建模研究

采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。     

基于Pi-Calculus的跨组织工作流建模方法

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外,利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于Petri网的工作流建模方法

将Ｐｅｔｒｉ网方法引入工作流模型描述,并针对工作流的特点对其进行扩展,提出功能网描述方法。使用功能网可使工作流模型得到方便、快速、合理的构架,同时为工作流模型的仿真研究打下坚实的基础     

基于有色Petri网的工作流阶段性调度

工作流的合理、有效调度有利于改善整个工作流系统的性能,从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优,但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时,优化每个任务的调度方案,但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上,本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性,并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。     

支持节点协同的工作流模型构建方法研究

为解决协同科技管理平台业务协同性和动态性的问题,基于工作流过程元模型的构建方法,结合协同活动模型和工作流动态变化的要求,对元模型进行了改进和扩展,将协同活动元素、连接符及ECA规则引入其中,并对模型属性进行修改,从根本上解决科技业务处理过程中协同性和工作流动态性的问题,增强了科技业务工作流程的灵活性和自适应能力。     

基于FSM的工作流建模方法及其应用

传统工作流建模工具大多是按照流程序列化思想进行使用,关注的是业务的执行顺序和路径,难以对跳转、回退、循环等复杂的业务过程进行建模。本文提出一种基于有限状态机的工作流进行建模的方法,该方法将业务过程看成是有限状态机的状态转移过程,给出工作流建模的几个步骤,最后通过一个实例对该建模方法进行分析说明。     

启发式规则与GA结合的优化方法求解工作流动态调度优化问题

调度是工作流管理系统的核心问题,是保证工作流正确运行的关键。在工作流环境下,动态调度要比静态调度更切合实际。本文在总结前人工作的基础上,提出了一系列工作流动态调度的启发式规则,并以最小化任务总拖期时间和最大化任务总提前时间为目标,建立了工作流动态调度问题模型。采用启发式规则与遗传算法相结合的优化方法求解工作流动态调度优化问题。仿真结果说明了优化方法的可行性和有效性,同时比较了该方法与多种静态调度方法,进而说明了该方法的优越性。     

流程业务化定制中的工作流建模方法研究

针对流程业务化定制的需求,提出了一套面向业务人员的、直观易用的工作流建模方法.首先定义了一种基于有向图的工作流模型.在该模型的基础上,通过设置建模规则来规范业务人员的建模行为,使得无需模型验证就能够保证所建过程模型的正确性,从而回避了传统的有向图方法在模型分析方面的缺陷.最后将这套建模方法转化为Petri网的形式来描述,并利用Petri网的分析技术证明了该方法的可靠性.     

基于GA-SA算法的网格工作流调度

对用于网格工作流调度的遗传模拟退火(GA-SA)算法进行改进.在GA算法部分结合了基于阈值的动态交叉和变异概率, 并通过动态的调节近邻子集的大小,提高收敛速度,有效防止种群早熟现象,通过实验验证该算法的可行性和有效性.