资源描述：
《基于PETRI网的工作流模型分析与应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、基于!"#$%网的工作流模型分析与应用王晖刘卫东杨胜春（清华大学计算机系，北京&"""87）9:;.+-：<.0=>?+""@;.+-1$)1+0=>?.$(A?$/0摘要目前，工作流的建模和分析工具有很多，由于’()*+网具有坚实的理论基础和易于使用的图形表示，因而是一种理想的建模和分析工具。论文着重讨论基于’()*+网的工作流模型的分析技术，对其基本的过程和所涉及的问题进行了分析，尤其对模型正确性的判定等问题，进行了详细的阐述。在文章最后，将给出一个应用的实例：全国高校网上招生录取系统。关键词工作流’()*+网建模分析
2、文章编号&""!:8##&:（!""#）"%:"&"":"#文献标识码B中图分类号C’#D&&’()*+,+(’-&..),/(0,1’12(’!304,5’30+56(+3-71482)19:1-3)7(’;<=,>,=73,-1’;?(’;@A3’;/A=’（E(,.*);(0)2FG2;,?)(*H/+(0/(.0AC(/>02-2=I，C1+0=>?.J0+K(*1+)I，L(+M+0=&"""87）&6+04(/0：B),*(1(0)，+01,+)(2F.-2)2F;2A(-+0=.0A.0.-I1+1)22-1
3、F2*<2*3F-2<，’()*+0()1+1;2*(,*(F(*.N-(N(O/.?1(2F+)112-+A;.)>(;.)+/.-F2?0A.)+201.0A+)11+;,-(=*.,>+/1)*?/)?*(1$P0)>+1,.,(*)>(.?)>2*1<+--F2/?120)>(;2A(-+0=.0A.0.-I1+12F<2*3F-2(I<+--A+1/?11>2<)2;2A(-)>(<2*3F-2(01+K(.0.
4、-I1+1)2)>(/2**()0(112F)>(;2A(-$B)-.1)，)>(I<+--+0)*2A?/(.0(Q.;,-(F2*;2A(-+0=，.0.-I1+1.0A2,)+;+R.)+202F<2*3F-2<:)>(S.)+20.-G2--(=(TJ0+K(*1+)I90*2--+0=HI1)(;$B3*914-+：<2*3F-2<，’()*+0()1，;2A(-，.0.-I1+1&引言程和环境来模拟实际的应用，从而对工作流管理系统进行分析随着工作流技术的发展，用于其建模和分析的工具也越来和评价。目前的工作流管理
5、系统一般都提供最基本的模拟器或越多，相对于其他方式，人们越来越多地倾向于用’()*+网来描是一些模拟工具。这些模拟可以用来评估工作流在一些特定的述工作流的形式化模型，这主要是基于’()*+网的工作流具有环境下的最基本的性能，比如时间延迟、吞吐量、资源专用率、如下的优势：规范而明确的语义和自然的图形表示，基于状态服务级别等等。下面主要对基于’()*+网的工作流模型的正确的建模以及’()*+网所具有的丰富的分析技术。性来加以分析。在本章节的讨论中，主要用经典的’()*+网模型论文将重点介绍基于’()*+网的工作流模型的分析技术
6、，为例来进行分析，因为这样可以充分利用各种有效的数学工具并结合一个实例：全国普通高校招生网上录取系统进行说明。和分析工具，虽然高级’()*+网用来为工作流建模可以更简明，更直观，但其数学的分析工具却远远不如经典的’()*+网丰富。!基于’()*+网的工作流模型的分析技术!$&用’()*+网来分析工作流模型的相关概念工作流的正确性、有效性对于商务处理过程是非常重要首先，给出在分析工作流模型时用到的一些基本概念。的，一个在定义过程中包含错误定义和描述的工作流，在实施定义&：一个六元组!!（"，#；$，%，&"）是一个’()*+
7、网系统的过程中将会产生非常严重的后果，如果一个工作流过程定义当且仅当模型在没有被充分验证其正确性时就投入使用，在工作流管理（&）（"，#；$）是一个网，"元素是位置（,-./(），#元素是变系统运行以后再进行维护代价将会非常高，因此，在工作流建迁（)*.01+)+20），$元素是弧（.*/），标记（)23(0）包含在位置中，它模的阶段，保证其正确性是非常重要的。这样对工作流模型的们在位置中的动态变化表示系统的不同状态。（!）%：""’(#456是位置容量函数；分析技术就提出了更高的要求。一般说来，对工作流的分析主（#）&：
8、$"’(是弧权函数，即流动几个标记；要有以下三个方面：有效性：也就是说，测试工作流是否按照设计的要求来运（7）)"：""’是初始标识，满足：$*%"：)（"*）&%（*）。系转。统处于某种标识)，也可以称为处于某种状态)。正确性：即工作流模型应该是没有错误的。接下来提到的’()*+网都是指’()*+网系
