针对Petri网的工作流过程模型验证和性能评价方法的分析研究.pdfVIP

摘要 摘要 基于Petri网的工作流过程模型验证和性能评价方法的研究 陈字寒 东南大学计算机科学与工稗系 工作流管理系统是近年来发展最为迅速的计算机应用技术之一，已被广泛地应用于办公 自动化、业务流程重组(businessprocessreengineering．简称BPR)及其他需要规划和管理工 作流的领域。设计工作流管理系统的关键在于工作流建模，即在概念级上绐出业务过程的抽 象表示。通常．业务流程通过过程定义进行形式化描述，过程由若千定义完善的活动(或任 务)和它们之间的连接关系￡王及相关的条件约束等组成。 由于Petri网具有严格的数学基础和规范化的语义，对于工作流的建模与分析研究人员 来讲有很大的诱惑力。特别是当需要考虑的经营过程较为复杂，如存在并发、冲突等情形时， I【{jPetri网方法进行工作流模型分析有明显的优势。 本论文的主要工作是研究工作流建模，其内容包括建模、模型验证、模型评价三个部分。 第一部分土要叙述了工作流过程建模的实现。包括工作流建模工具；工作流活动图同 Petri网的转化：工作流模型同xml文档的双向转化问题i以及时问Pe埘网信息在xml文档 中躺数据类型定义等问题，论文在上述几个方面详细介绍了实现的过程，并举例说明。 第二部分根据一系列定理提出的工作流PeⅢ网模型的验证性大致分为四个步骤。验 证网的强连通性；计算并比较Rank(C)：刿断SMD属性：寻找活的初始标识。对每一 步骤的算法都进行了详细的描述。对算法的时间复杂性进行分析。 第三部分首先提出了一组时问Petri网保持时间约束特性不变的网变换规则和网的化伺 疗法，通过反复应用变换规则进行化简，逐步减小网的规模，最终计算出工作流系统响应时 问。论文中详细介绍该算法的实现过程及其数据结构。在本部分中．论文还详细介绍了基于 标准c的xml解析器的实现流程以及相应的数据结构。 最后一章对本论文的工作进行全面的总结，并对未来的工作进行了展望。 【关键字】Pelri网、工作流模型、自由选择网、信标、xml、强连通网、s一分支、验 证、性能评价 —— 垒童荃兰堡：生兰垦笙兰 Abstract TheresearchOilmethodsof and verifyingevaluating ofworkflowmodelsbasedoRPetriNet performanceprocess chenmall Southeast University workflow hasbecomeoneofthefastest Inrecentyears，the managementsystem has been develogingcomputeragplicatioiltechem[ogins．ItB1readywidelyapplied rl of i thefieldoffice businessprocedure automation，the reengineering(BPR)and other suchasdemand andworkflow The forthe fields planning managementkey workflommanagement istomodelthe isto system’sdesign workflow．whichgive ofthe