SimNet——一种新型的工作流仿真模型.pdfVIP

SimNet——一种新型的工作流仿真模型*) SimNet——ANewKindofWorkflowSimulationModel 霍金健徐春香屈婉玲袁崇义 (北京大学信息科学技术学院 北京100871) AbstractIn toevaluatethe of newkindofworkflowsimulation order performancebusiness a process，wepropose iSatime-extensionofthe workflow onsimulation discusssew model，SimNet，which layered model．Based model，we eralfactors and have of time，resource rules，whichimpactonthe WOrkflow，and including scheduling performance the formulaofseveral Performance Indicators)，SUch presentcomputing KPIs(Key as(average)cycletime，(average) ratioofresource．To workflowsimulationin article throughput aid and(average)utility peopleput practice，thisprO-- frameworktoobtain resultsviacorrectsimulation pose$a satisfactory steps． Petri simulationmodel Keywordsnets，SimNet，Workflow，W0rkflow 的每个任务都需要资源来执行，在任务被执行之前， 1 引言 案例必须准备就绪。从变迁具有发生权到实际发生 在工作流模型分析方面的研究已经取得了一定 之间是等待时间，任务的执行需要一定的处理时间。 的成果。文[1]中指出了工作流模型分析的不同方 一旦案例处理结束，结果立刻由工作流引擎传给下 式，并把工作流模型的分析方法基本上分为三种类 一个任务，引擎执行管理工作需要的时间忽略不计。 型：确认(Validation)、验证(Verification)、性能分析可以使用染色托肯对不同的案例建模。一个托 (Performance analysis)。文[1～3]给出了工作流的肯需要记录以下信息：I是标识，以区别同一案例中 产生的不同托肯；c是颜色，用于区分不同的案例；x 形式化建模方法，其中的文[2]重点讨论了基于Pe- tri网的形式化建模方法。文[5，6]讨论了工作流的和y分别表示等待时问和处理时间。等待时间与 仿真方法，对系统进行性能评价，并帮助设计者优化 处理时间都用区间[口，6]表示，其中a，b是正实数 流程。文[2]提出的工作流分层模型除了能对工作 且a6。 流的逻辑、语义和管理进行分析，还能对工作流程与 在C-net系统的控制机制P／T_系统中引