一种基于Petri网的工作流模型分解方法.pdfVIP

维普资讯 第 l8卷 第 l期 计 算 机 技 术 与发 展 Vo1．t8 No．I 2008年 1月 (~OMPUTERq-ECHNOI(X YANDDEVEI．OPMENT jan． 2008 一 种基于Petri网的工作流模型分解方法 秦 凯，姜 浩 (东南大学计算机科学与工程学院，江苏 南京 210096) 摘 要：工作流网的模型化简是模型有效分析的前提。在了解了工作流网及 丁一组件网相关定义的基础上，对工作流网 的结构化简方法进行了分析 ，提出了一种简洁有效的工作流网模型的 自由选择子网分解算法 ，给出了算法的过程同时也 给出了算法的时间复杂度分析。最后，在算法的应用方面，将所提出的模型分解方法与 目前常用的工作流网结构化简方 法相结合，不仅可以有效提高模型化简的效率，而且还可以在模型化简的同时进行基于业务实例子网的模型分析。 关键词 ：工作流 ；Petri网；模型化简；模型分析 中图分类号：TP3I1．5 文献标识码 ：A 文章编号：1673—629X(2008)01—0097—04 AnApproach ofDecompositionofW orkflow ModelsBasedonPetriNet QINKai，jIANGHao (SchoolofComputerScience Engineering，~uthestUniversity，Nanjing210096，China) Abstract：Modelreductionof~ rkflow netsisthepremiseofeffectiveanalysisofmodels．Onthebasisofintroductionofworkflownets andT —mmponentsrelativedefinitions，thestructurereductionmethodsofworkflow nets8reanalyzed，apithyna deff~tivealgorithm offreechoicesubnetsdecomposingforworkrllow netsisproposednadthetimecomplexityanalyzingispm~dde ．Combiningthert~ elre· ductionapproachproposde withthegeneralstructurereductionmethodsofworkflownetswhichisinO01TlrfloBuseatpres∞t，notonlythe efficiencyofmodelrdeuctionisraised，butalsothemodelscarlbeanaly~dbasedonbusinessinstancesubnetsatthe~alTletimeofrt~ el reduction． Keywords：workflow；Petrinets；modelrdeuctoin；modelnaalysis O 引 言 合于描述并发、异步、分布、并行、不确定性和随机性的 许多工作流性能评价方法都需要利用工作流模型 信息处理系统，进行系统模型的构造、分析及评价。文 的结构化简，例如：文献[1]提出的方法是在结构化简 献[7]中已经证明，任意具有活性和安全性的自由选择 的基础上对活动的时间约束进行线性推理，以求得流 Petri网PN都能被强连通的T 一组件网所覆盖。 程时间性能的上下界，文献[23通过对可化简子网求得 等效延迟时间及其分布概率，进而求解模型的性能，文 1 工作流网结构分析 献[3，4]