基于Petri网的工作流建模研究及仿真应用

在分析大量实际工作流特征的基础上，总结了实际工作流执行中的路选结构情况，论文给出了将WFMC定义的工作流模型转化为工作流网络的完整框架，以及基于Petri网特性分析法的工作流网络仿真分析方法，并且用实例验证了该方法的可行性。     

算力网络环境下基于势博弈的工作流任务卸载优化机制

边缘计算虽然部分解决了任务上云导致的时延过长的问题,但由于通常只考虑端边云间的垂直协同,不可避免出现了“算力孤岛”效用,因而仍然难以满足工作流任务的低延迟执行需求.为了高效协同利用广域网上的算力资源,降低工作流任务的执行时间,亟需对算力网络中的工作流任务卸载和资源分配问题进行研究.首先描述了算力网络环境下面向多用户的工作流任务执行场景,并对该场景下的网络环境、工作流任务及其执行流程进行建模.其次根据优化目标建立工作流执行时延模型,以构建面向算力网络环境的多用户工作流任务卸载与资源分配问题.最后根据工作流应用的特点,针对链式工作流提出了一种基于势博弈的分布式工作流卸载算法.针对复杂DAG工作流提出一种基于动态资源权重的启发式工作流卸载算法.仿真实验表明,与其他算法相比,所提算法均能够协同广域网上的算力与网络资源,降低工作流任务的平均完成时间,从而有效提高了算力网络环境中的工作流任务的执行效率.     

基于网闸的分布式工作流系统

针对目前我国政务系统的实际网络环境,提出了基于网闸的分布式工作流系统的概念,将传统的单一网络下分布式工作流系统的研究转移到多个互不相连的网络环境下,并讨论了在此分布式环境下工作流系统的实现.     

一种提高系统柔性的工作流模型

工作流技术是实现过程集成的有效途径之一，其研究和应用日益受到重视。工作流模型是工作流技术的重要组成部分，本文介绍了一种基于活动网络的柔性工作流模型，从模型的角度描述了组成工作流的基本元素类型及图形表示，讨论了此工作流模型的形式定义，并给出了一个工作流模型的例子。     

基于多级DOMINO服务器的工作流的解决方案

随着网络的高速发展,各大企业以及政府部门为了提高效率和管理水平,都引进了工作流管理系统;由于实际的需要,大多使用多级服务器的网络架构;本文首先描述了基于多级服务器的工作流的特别之处,以及选择Domino的原因。最后,用一个应用实例,阐述了基于多级Domino服务器的工作流的实现方案的可行性。     

基于工作流对象的网络办公软件设计

通过对政府、企业日常办公的深入研究,确立了工作流的概念,进而提出了基于工作流的网络办公软件设计方法。工作流法较好地实现了软件的原子性和自组织性。以工作流法设计的系统具有很强的生命力和良好的动态性。     

工作流活动网络图主关键路径的确定

工作流建模与仿真与工作流管理系统的重要组成部分。工作流管理系统提供工作流建模工具，绘制流程的活动网络图，形象展示工作流模型。活动网络图主关键路径的确定，是工作流仿真分析的基础，本文论述了求解主关键路径的算法。     

工作流技术应用于商业性网络教学平台建设分析

随着计算机网络的普及应用和商业培训的快速发展,网络教学平台在商业性教育或培训中日益显现出其重要作用。工作流技术是近几年兴起的流程控制和管理技术,在流程管理与分析及流程优化方面具有特定优势。通过剖析商业性网络教学平台功能需求及利用工作流技术建立工作流模型,较好地展现了工作流技术对该领域的应用支持。     

面向Web服务架构的协同工作流模型

为了提高分布式工作流在当前异构网络环境下的灵活性和普适性,解决分布式工作流系统中各异构子工作流系统之间的互操作问题,提出了面向Web服务架构的协同工作流模型。采用了Web服务技术的组织架构,将分布式工作流系统中的各个子工作流系统进行Web服务封装,使得各个子工作流系统能以Web服务方式向其它子工作流系统提供服务,并使用服务自适应恢复机制来保证分布式工作流系统的QoS。     

基于工作流模型的企业铁路调度指挥与监控系统研究

根据企业专用铁路特点，设计了调度指挥与监控一体化方案。为了协调多个子系统的活动，采用工作流技术构建系统软件平台，实现业务过程的自动化。基于Petri网定义的基本工作流网络为系统业务流程建模，针对建模中存在的问题，提出增加颜色扩展描述信息，增加复合颜色变量扩展，提高工作流网络抽象能力及描述能力，使扩展工作流网络成为复杂系统建模的有力工具。     

基于Agent的着色工作流网的应用研究

目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作流管理系统框架,结合了工作流网的良好的建模特性和Agent的良好的应用特性,容易在实际系统中加以执行和控制。     

一种基于不变量结构分解的工作流性能分析方法

基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上,利用矩姆函数,建立了工作流的时间性能分析方法,所得结果为工作流模型分析和验证提供了理论基础和依据,并可有效降低工作流系统的分析复杂度,对于分析工作流系统处理业务实例的能力,提高业务处理效率有重要意义,给出的实例验证了算法的有效性.     

WF-net模型到PNML的转换方法研究与实现

Petri网标记语言PNMI是一种基于XM工的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNMI格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。     

基于扩展WF-Net的配电网故障诊断与抢修流程优化

基于扩展WF-Net对配电网故障诊断与抢修流程进行了建模与优化。首先将流程涉及的信息系统封装成具有松散耦合特性的 IT 服务;然后扩展了 WF-net 的时间集和颜色集,提出了基于 IT 服务的赋时有色工作流网（TCWFN-ITS）,以显式地表达业务流程与IT服务的调用关系。最后,针对某电力公司配电网故障诊断与抢修流程,采用TCWFN-ITS进行建模,使用Petri网建模工具CPN Tools进行仿真分析,通过并行执行任务、合并任务、优化服务占用端口数量等手段,实现了配电网故障诊断与抢修流程性能提升和 IT 服务的平衡配置,验证了所提方法的可行性和有效性。     

集装箱动态跟踪工作流网模型的建立与实现

集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。     

基于时间工作流网的智能交通系统建模与分析

智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型。最后对智能交通系统模型的时间性能进行分析。     

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

对传统Petri网在描述工作流模型时，组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷，将有色Petri网（Colored Petri net，CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net），实现二者有机结合，提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net），给出了严格的定义，使能机制和触发，全面分析了CPWF-net的特性，并就其实际应用进行了初步探究。     

Performance modeling and analysis of workflow

Workflow model analysis is performed at logic, temporal, and performance levels. This paper mainly deals with the performance level issues. Workflow net (WF-net) is extended with time information to the timing workflow net (TWF-net). To provide a formal framework for modeling and analyzing workflow, this paper proposes a multidimension workflow net (MWF-net) that include multiple TWF-nets and the organization and resource information. The algorithm to decompose a free-choice and acyclic Petri nets (PN) into a set of T-components is extended to a TWF-net containing iteration structures. Then, resource availability and workload analysis is performed. A method for computing the lower bound of average turnaround time of transaction instances processed in a MWF-net is proposed. Finally a case study is used to show that the proposed method can be effectively utilized in practice.     

自由选择工作流网的可靠完备化简规则集

流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri 网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化.