基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点,对工作流模型的性能分析是工作流研究的一个重要内容.实际的模型往往规模大而复杂,这为分析其性能带来了很大的困难.但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成,对于这类模型,本文给出了计算其性能乘积解的数学公式.文中给出了如何由这四种基本模型嵌套组成实际模型的方法,推导出了计算这四种基本模型的性能等价公式,并按建立实际模型相反的顺序,用由里到外逐层的分析方法,给出了计算实际模型的性能乘积解.     

基于随机高级Petri网的ATM网络接纳控制过程模型

本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这种方法简化了复杂系统模型的状态空间爆炸问题。     

一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

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

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

工作流挖掘与Petri网表示的对偶交换

将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。     

基于EPC的工作流建模及实现

针对现有工作流模型在支持过程定义和过程分析方面缺乏统一规范的缺点,提出了EPC的工作流建模方法.给出了EPC过程链中顺序路由和并行度的定义,建立了基于EPC建模的工作流过程模型,最后通过J2EE平台实现了基于EPC的工作流原型系统,并对电涡流缓速器产品协同设计的工作流建模实例进行了介绍.     

随机高级Petri网用于计算机网络传输协议的模型与性能评价

本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型，标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了ＳＨＬＰＮ在计算机网络传输协议的模型与性能评价中扩，通过这个例子充分显示了这些概念和算法的有效性。     

物元分析方法在通信网可靠性评价中的应用

本文主要研究物元分析方法在通信网可靠性评价中的应用，首先应用物元变换方法对通信网可靠性评价的研究思路进行了转换，提出了分析可靠性增长与通信网发展的相关适应性的物元评价方法。这种方法的应用在实际中显示出较好的效果。     

基于SOA的企业工作流模型的设计研究

传统的企业工作流模型将流程定义和实现都放在部署着工作流管理系统的服务器上,对软件产品的升级、管理和对第三方产品的集成造成了相当的困难。本文提出一种基于SOA的企业工作流模型,让工作流引擎通过调用WEB服务来完成客户定义的工作流的实例化,可以为企业管理信息化提供一条由局部到整体,阶段化实施的新途径。     

基于数字校园的工作流系统设计

随着工作流技术的发展,工作流技术的应用领域日益广泛,通过与数字校园业务系统相结合能够提高工作效率。一般来说,数字校园主要通过构建工作流系统的方式引入工作流技术。数字校园工作流系统能够实现对校园业务流程的管理,提高校园办公效率。该文针对数字校园业务的特点,设计了工作流系统的整体结构,实现了业务流程的运转。通过在数字校园构建工作流系统,能够使业务流程在多个不同的部门或应用系统之间实现无缝集成,从整体上实现业务处理和信息共享。     

工作流管理系统及其管理接口技术研究

随着计算机和网络技术的普及,工作流技术得到了迅速发展和广泛应用。对工作流管理系统的核心概念进行了阐述,重点分析了工作流主要组成、基本模型以及管理接口的技术特性和主要概念。结合XML技术良好的灵活性、拓展性以及跨平台能力,建立了基于XML技术的工作流管理接口模型结构,提出了工作流管理接口的一种实现技术,能较好地满足工作流系统在分布式处理的灵活、扩展要求。     

用Petri网对点击拨号业务的建模

该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则,丰富了协议转换方法学的内容。利用Petri网的分析能力分析了CTD业务协议转换模型的特性,达到了检错纠错的目的。 在该方法的指导下开发了业务控制网关(SCGF)和CTD业务,证明了这种新方法的可行性和适用性。     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

基于数据驱动的工作流引擎的设计与实现

工作流是计算机化的业务流程.工作流引擎为工作流流程提供运行环境,在流程的执行过程中起着关键性作用.传统的工作流技术在处理复杂多变的流程时,缺乏良好的建模以及适应机制.本文提出一种基于数据驱动的工作流运行方式,实现了活动与活动之间的松散耦合,并以此为基础设计并实现支持这种数据驱动方式的工作流引擎.该引擎在应对复杂多变的业务流程时具有较强的处理能力,并能够实现流程的自动建模.     

基于反省技术的灵活工作流管理系统

面对复杂多样的应用环境,灵活性成为工作流技术研究的重点之一.反省作为提高系统灵活性的重要技术手段也可用于工作流管理系统中.本文分别从结构和行为方面对工作流过程及其管理进行了具体化,进而建立其反省模型.为了方便对元级的抽象和编程操纵,我们提出了元对象协议模型,其中包括协议声明、元对象关联、协议选择和元对象管理等机制或方法.进一步,本文通过典型的应用说明了反省方法对提高工作流系统灵活性和适应性是有效的.最后,文章介绍了工作流管理系统中反省技术的实现方法.