基于Petri网的工作流的建模、分析和实现的研究

来源 :清华大学 | 被引量 : 0次 | 上传用户:xiangsyy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流技术是近年来计算机应用研究领域中迅速发展的一项新技术,工作流管理系统的应用,可以加速企业内部商务和管理流程处理的速度,提高处理的效率,实现处理的自动化或部分自动化.目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具.该文在对工作流技术和Petri网理论进行了一定的介绍后,着重讨论基于Petri网的工作流的建模和分析,对其基本的过程和所涉及的问题进行了全面地分析,尤其对工作流建模过程中涉及的各种流程结构以及模型正确性的判定等问题,进行了详细地阐述.
其他文献
该文在现有负载平衡算法基础上,提出了一种新的分布式Web服务器负载平衡算法,即:最早结束服务法(FES),并与循环法(RR)、最少连接法(LCF)等算法进行了比较.同时,进行了实验测
Internet的普及越来越广泛,相应的网络应用程序也越来越多。几乎所有的网络应用程序都有通信的需求和相应的功能模块。本文从软件复用的角度出发,按照基于领域专用语言的应用软
中科院软件所并行中心研制的并行油藏模拟器PRIS_1.0已成功地运行于各种并行环境下,而且其线性解法器的性能已达到国际先进水平.此PRIS_1.0的解法器是基于结构网格上的,为能
作为一种节省带宽和提供方便的传输手段,网络组播将网络和主机的负载分担到分布在不同地域和网段的路由器上.在带来方便的同时它也带来了新的安全问题:在一个逻辑地址上属于一
在该文,我们把分布对象技术和Web集成,建立基于CORBA/JAVA的ObjectWeb计算模型.新模型由各种商务对象组成,包括实体、过程和规则.对象之间使用IDL定义的接口,通过对象请求代
大规模植被场景的真实感模拟是计算机图形学研究中的一个重点方向。而草地和森林场景是大规模植被场景的重要组成部分,他们在构建真实感场景中起到至关重要的作用。由于草地
论文研究成果如下:设计并初步实现了一个可应用于虚拟场景建模的基于图像的建模系统.该系统恢复的模型真实感强,并且建模过程对用户透明,仅需要用户少量的手工操作.大大降低了
学位
该文对Undo/Redo机制的实现进行了深层次的探讨,利用设计模式思想提供架构,针对现有常见交互式排版软件Undo/Redo机制对于事务化操作和Selective Undo等存在的缺陷,提供一个切
该文首先介绍了IPSec协议的基本体系和应用情况,通过试验引出了IPSec和NAT/NAPT之间的不兼容问题,并对其原因进行了详尽的分析.该文接Realm-Specific IP(RSIP)和UDP封装法两种