Petri网在工作流引擎中的应用分析

目前对工作流技术进行深入的研究对于提高企业的信息化程度、运行效率以及竞争能力都有重要的意义,而工作流引擎是整个工作流管理系统的核心。该文首先介绍了工作流引擎的定义和5个重要接口,以及Petri网的概念和建模优势。其次比较了Open WFE,jBpm,YAWL,Bossa等开源工作流引擎,指出基于Petri网调度算法的工作流引擎所具有的优势。在此基础上重点分析了Bossa引擎的调度算法,最后对Petri网在工作流引擎中的使用提出展望。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是，传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网，结合工作流本身的特点，对Petri网进行扩展，提出了一种描述工作流模型的新方法--信息控制Pettri网，并给出其表示工作流模型的正确性定义和验证。     

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

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

基于UML和对象Petri网的分布式工作流系统建模方法研究

提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法，利用UML的扩展机制进行了有关工作流特性的扩展：定制了合同、端口、通信协议块等版类，建立了合同化的层次体系结构；为了对建立的模型进行严密的数学分析和模拟，又提供了从UML模型到对象Petri网的转换机制。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于工作流的高校学费管理系统研究

为实现高校学费管理业务流程的网络化、自动化,依据工作流管理系统参考模型,设计了轻量级工作流引擎,并提出基于该工作流引擎的高校学费管理系统解决方案.利用Petri网对一个典型的学费管理业务流程建模并分析所建模型的正确性.基于该工作流引擎的高校学费管理系统解决方案能够较好地满足实际应用的需要.     

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

介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度.通过一个具体实例阐述了如何建立扩展工作流网模型,并通过简化技术和可达树分析方法,验证了模型的活性.     

基于Bossa的工作流管理系统的开发方法

Petri网作为一个比较好的过程建模技术,在工作流模型的描述中有着一定的优势。基于Petri网的工作流模型如何投入到具体的工作流管理系统中,需要选择合适的工作流引擎,此引擎必须要能够完全支持基于Petri网的工作流模型的定义,Bigbross Bossa是各种工作流引擎中为数不多的采用Petri网来定义工作流的引擎之一,该文就Bossa工作流引擎的使用方法进行探讨和描述。     

快速扩散制造中的工作流管理技术

针对武器装备快速扩散制造的效率问题,以军工产品的扩散制造为实例背景,提出一种支持快速扩散制造的工作流管理技术,包括工作流建模技术、工作流运行控制技术和工作流系统实现方法,采用Petri网建模方法和基于Web的工作流引擎技术。阐明扩散制造中工作流管理系统的体系结构。结果证明其在提高军工产品制造效率方面效果良好。     

基于Petri网的工作流层次模型及结构分析

在对工作流网络理论研究的前提下，结合企业业务流程建模的应用特点，提出了几种将工作流网络分层的思想，并着重介绍了将继承特性用于Petri网建模的方法。     

网格的虚拟组织资源管理与工作流调度模型

资源调度是网格计算的重要内容。利用虚拟组织管理领域相关的网格资源,利用工作流技术组织网格任务,可以有效的降低网格调度问题的复杂性。本文提出一种调度模型,分别在工作流引擎和虚拟组织两个层次实施调度,以协调网格用户和服务提供者的不同利益,提高网格系统的性能、服务质量和易用性。     

基于WF net的工作流恢复网模型的研究*

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。     

A scientific workflow environment for Earth system related studies

Many separate tasks must be performed to configure, run, and analyze Earth system modeling applications. This work is motivated by the complexities of running a large modeling system on a high performance network and the need to reduce those complexities, particularly for the average user. Scientific workflow systems can be used to simplify these task and their relationships, although how to implement such systems is still an open research area. In this paper, we present a methodology to combine a scientific workflow and modeling framework approach to create a standardized work environment and provide a first example of a self-describing Earth system model. We then show the results of an example workflow that is based on the proposed methodology. The example workflow allows running and analyzing a global circulation model on both a grid computing environment and a cluster system, with meaningful abstractions for the model and computing environment. As can be seen through this example, a layered approach to collecting provenance and metadata information has the added benefit of documenting a run in far greater detail than before. This approach facilitates exploration of runs and leads to possible reproducibility.     

网格工作流引擎的设计与实现

针对传统工作流调度策略只强调任务的执行顺序、忽略任务本身相互间的逻辑关系等不足,基于GT4网格环境,以网格服务及其间的协作关系为出发点,设计并实现了用DAG(directed acyclic graph)模型描述网格工作流,并通过网格服务流语言(gridserviceflowlanguage,GSFL)形式化解析工作流的网格工作流引擎系统架构。在该架构中,设计并实现了基于Dijkstra的工作流调度算法,通过实例对该网格工作流引擎和调度算法进行了实验,实现了预期效果。     

Classification and evaluation of timed running schemas for workflow based on process mining

The system running logs of a workflow contain much information about the behavior and logical structure between activities. In this paper, a mining approach is proposed to discover the structural and temporal model for a workflow from its timed running logs. The mining results are represented in the formalized form of Petri nets extended with two timing factors that allows validation or verification the actual behaviors, especially the temporal constraints between activities. According to the reachability graph of the extended Petri net model mined, all running schemas of a workflow can be generated, which defines the temporal constraints between running activities. By calculating the earliest and latest start time of each activity, the earliest starting and latest existing time of each state in the running schema can be determined. Based on the temporal relations between the timing factors of each running state, the running schemas can be classified into six classes. The effects of the six classes of running schemas on the implementation of the whole workflow are evaluated so as to obtain the best one that can ensure the workflow is finished in the shortest time. The standards for the ideal, reliable and favorable running schemas and their existence conditions are discussed, which can be used to evaluate the running logs and control the future running of a workflow.     

网格计算资源调度的层次Petri网建模与分析

本文给出了网格计算资源的三层调度方案,并利用层次颜色Petri网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延Petri网模型,不同层次的颜色时延Petri网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色Petri网的可迭任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。     

基于移动代理的工作流原型研究与设计

快速发展的移动代理和网格技术给工作流提供了新的集成各种分布式资源的计算环境。传统的工作流架构有很多弱点,比如在动态环境中缺少灵活性等。提出了一个集成Web Services,网格,工作流和移动代理技术的分布式工作流架构,可以通过移动代理间的通讯来达到工作流之间协同工作,而且这个架构增强了工作流的灵活性和可靠性,以这个新的模型为基础实现了一个具体的工作流工作站,且可实现系统的安全使用。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素．基于时间Petri网工作流模型(TWF-net)，通过分析TWF-net模型不足之处，建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net)．通过构建规则，可将多个TWF-net合并为一个XTWF-net，以描述并行流程中的时间约束；通过引入与时区相关的时间映射函数，XTWF-net可以描述分布于不同时区的流程．最后给出一个利用XTWF-net描述分布式企业中业务流程的实例．     

复杂产品虚拟样机集成开发过程管理系统研究

为实现复杂产品虚拟样机集成开发过程管理,提出了包含项目层、宏观过程层和微观过程层三个层次的层次化过程集成模型,项目层面向过程任务分解,宏观过程层建立全局工作流,进行全局过程监控,微观过程层面向任务内部的自动规划,层次化过程集成模型实现了虚拟样机开发过程的自顶向下过程规划和控制与自底向上过程反馈与协调.通过对项目、任务与工作流模型的研究,以共享数据库形式实现了虚拟样机集成开发过程的项目管理、工作流管理和产品数据管理的功能和信息集成,建立了集成体系结构,提出了扩展赋时着色Petri网的全局工作流分析与仿真方法,为复杂产品虚拟样机开发的过程管理提供了有力支持.