基于Petri网的工作流建模

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

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

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

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

Petri网在业务过程建模中的应用

业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。     

基于Petri网的工作流建模

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

基于高级Petri网的工作流建模研究与仿真分析

基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。     

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

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

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

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于UML顺序图的Petri网建模

UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。     

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。     

基于Petri 网的工业设计过程管理工作流建模研究

工业设计过程建模是产品设计过程管理研究的关键环节,直接影响着项目开发周 期和整体效益,但目前工业设计行业没有针对设计过程管理有效的建模技术及其系统。为实现 对工业设计企业设计过程动态性、结构性和有序性管理,在产品设计过程管理中引入面向过程 的组织管理与流程优化的工作流技术及Petri 网建模方法;然后根据对设计过程管理流程的研 究,构建了设计过程管理工作流程图;进而结合工作流技术、Petri 网过程建模方法和工业设计 过程管理流程提出工业设计过程管理的4 个阶段工作流建模方法：本体分析、元素提取、元素 概括、元素带入;最后,以工业设计过程管理建模领域为例构建了基于Petri 网的工业设计过程 管理工作流模型,在此基础上实现了工业设计过程管理原型系统。     

基于Petri网的动态建模技术的研究

Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。     

基于Petri网的信息系统建模及性能分析

采用基于Petri网的信息系统建模技术,对一实际系统进行建模,并利用Petri网严谨的数学分析理论对所建信息系统模型的性能进行了描述和分析。     

面向对象Petri网的网络传感器管理系统建模

传感器资源管理是一个复杂的系统工程,特别是在分布式传感器网络中,传感器种类繁多,使用一般的Petri网建模方法很难对系统作一形象描述。本文提出了一种应用面向对象Petri网对该系统进行建模的方法,并针对网络传感器管理特点,构造了网络传感器管理系统模型。     

基于标签Petri网的OWL-S建模与分析

提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。