基于资源约束PETRI网的建模和资源优化研究-计算机应用技术专业论文.docxVIP

A Dissertation Submitted to Shanghai Jiao Tong University for the Degree of Master Modeling and Resource Optimization using Resource Constraint Petri Net Author：SONG Haixiang Specialty: Computer Science Advisor: Prof. ZHANG Zhongneng School of Computer Science Shanghai Jiao Tong University Shanghai, P.R.China December 31, 2009 第 第 I 页 基于资源约束 PETRI 网的建模和资源优化研究 摘 要 经济全球化之后，企业越来越关注业务流程管理，而 Petri 网作为 一种数学化的建模工具，也越来越多被应用到业务流程管理的定量分析 中。Petri 网的发展同时得益于各种扩展 Petri 网的创新，这丰富了基本 Petri 网的描述能力。但是目前的各种扩展中，对于资源方面的全局约束， 没有太多的讨论。 本文将基于传统的广义 Petri 网，提出一种带有全局资源约束的 Petri 网。添加了资源元素、资源变量、资源相关时间变迁的速率函数以 及资源配置的单射函数，使得传统的广义 Petri 网的时间变迁，都有一 个资源关联，时间变迁的实施，受到其相关联的资源的约束。这种资源 约束 Petri 网，不仅可以通过库所和变迁以及有向弧，来建模业务流程 中各个任务之间的相互关系，同时可以通过 Petri 网中的资源元素，来 建模该业务流程中可以执行这些任务的可用资源。 基于这种资源约束 Petri 网，设计开发它的仿真程序，研究资源配 置优化算法。算法基于分枝定界法，首先确定对各种资源配置进行探索 的路径，在探索过程中，使用减弱的条件约束，计算路径中节点的上界 和下界，通过此上界和下界，修剪不需要探索的路径，从而在高效的时 间内，找到一种最优的资源配置方案，使得系统的响应时间最短。 资源约束 Petri 网可以用来建模一个包含有限个可用资源的业务流 程，并且可以通过仿真优化程序，找出这有限个资源的最佳配置方案， 第 第 II 页 使得该业务流程的性能最高。本文还将通过现实的案例，来验证这种资 源约束 Petri 网的建模能力，通过现实的实验，来验证配套程序的仿真 优化算法。 关键词：Petri 网；资源约束；性能分析；业务流程建模；业务流程仿真； 资源优化 第 第 PAGE IV 页 Modeling and Resource Optimization using Resource Constraint Petri Net ABSTRACT With the economic globalization, enterprises are increasingly concerned about the business process management. While, as a mathematical modeling tool, Petri nets are increasingly being applied to business process management especially in quantitative analysis. The development of Petri nets benefit a lot from a variety of innovations in extended Petri nets, which enriched the description capacity of the basic Petri nets. But for all the extended Petri nets in the state of art, there is little discussion in the global resource constraints. This paper will present a Petri net with global resource constraints basing on the traditional generalized Petri net. Resource elements, Resource variables, rate function of resource-related timed transitions and resource allocation single-sh