共查询到20条相似文献,搜索用时 125 毫秒
1.
Petri网是一种图形化、数学化的建模方法,尤其在办公自动化领域的系统建模,在描述和分析实现上有一定的优势。本文分析了工作流的运行模式,Petri网的工作流描述,并以印刷企业订单为例,实现基于Petri网的工作流建模方法。 相似文献
2.
基于Petri网的工作流技术在MIS中的应用 总被引:2,自引:0,他引:2
工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性。文中简要地介绍了WFMIS和基于Petri网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。 相似文献
3.
工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性.文中简要地介绍了WFMIS和基于Petri 网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri 网建模. 相似文献
4.
Petri网在业务过程建模中的应用 总被引:23,自引:0,他引:23
业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。 相似文献
5.
谢汉天 《计算机光盘软件与应用》2014,(10):65-68
随着互联网的发展,电子商务模式已很大程度取代传统的交易方式,电子合同的使用范围也越来越广泛。本文基于电子签章技术的电子合同系统的设计与实现,通过使用Petri网对电子合同在线签订流程进行并发模型的建模,为系统实现电子合同在线签订时保证至少有两个单位可以进行合同会签,同时保证信息传输的保密、数据交换的完整性、发送信息的不可否认性、交易者身份的确定性,从而保证系统使用的安全性提供了可靠的依据。 相似文献
6.
目前对工作流技术进行深入的研究对于提高企业的信息化程度、运行效率以及竞争能力都有重要的意义,而工作流引擎是整个工作流管理系统的核心。该文首先介绍了工作流引擎的定义和5个重要接口,以及Petri网的概念和建模优势。其次比较了Open WFE,jBpm,YAWL,Bossa等开源工作流引擎,指出基于Petri网调度算法的工作流引擎所具有的优势。在此基础上重点分析了Bossa引擎的调度算法,最后对Petri网在工作流引擎中的使用提出展望。 相似文献
7.
周丽芬 《数字社区&智能家居》2009,(15)
实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。 相似文献
8.
对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网(Colored Petri net,CPN)理论的分析方法引入到工作流网(Workflow-net,WF-net),实现二者有机结合,提出了一种新型扩展工作流网CPWF-net(Workflow-net based on Colored Petri net),给出了严格的定义,使能机制和触发,全面分析了CPWF-net的特性,并就其实际应用进行了初步探究。 相似文献
9.
根据描述工作流模型的实际应用背景,提出了非确定变迁,非确定Petri网等概念,并定义了Petri网的等价关系,证明了在这种等价关系的意义下,非确定Petri网与传统的确定Perti网的等价性。 相似文献
10.
林程华 《电脑编程技巧与维护》2017,(3)
工作流是近年来在计算机应用领域发展迅速的技术,通过介绍工作流技术和Petri网及其建模模型等知识,引出Petri网模型建模,利用顺序路由模型,对工作中的助学金报送审批流程实例进行建模,分析了模型中消耗人力时间较多的环节,通过整体模型调整分析,提出了提高工作效率的建议和方案. 相似文献
11.
无界Petri网的进程表达式 总被引:14,自引:2,他引:14
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p,的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p,的语言问题.由于∑p,的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p,分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p,语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法. 相似文献
12.
为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模. 相似文献
13.
14.
15.
Petri网作为一种图形化的建模方法,具有直观易用的特点,是业务流程建模常用方法。面向方面建模的基本思想是按系统特征划分程序模块。传统的实时系统与时间密切相关。我们分离实时系统时间方面,然后用时间Petri网来建模,最后通过实例来简单地说明建模过程。 相似文献
16.
17.
18.
基于Petri网的Web服务流程建模 总被引:6,自引:1,他引:6
Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法,并给出了Petri模型中基本路由的BPEL4WS描述。 相似文献
19.
Petri网的进程网系统 总被引:19,自引:3,他引:19
提出了Petri网的进程系统的概念,一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所集的并集为新的库所集,以原网系统的初始标识为初始标识而得到的网系统,它可以很好的地描述原网系统的进程行为,文中讨论了求取任意Petri网的基本进程段的算法,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的,文中还给出了通过网结构来描述各个基本进程段之间关系的方法,从而求出一Petri网的进程网系统。 相似文献
20.
工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C.A.Ellis定义的信息控制网、W.M.P.vanderAalst定义的工作流网,结合工作流本身的特点,对Petri网进行扩展,提出了一种描述工作流模型的新方法--信息控制Pettri网,并给出其表示工作流模型的正确性定义和验证。 相似文献