经济全球化之后,企业越来越关注业务流程管理,而Petri网作为一种数学化的建模工具,也越来越多被应用到业务流程管理的定量分析中。Petri网的发展同时得益于各种扩展Petri网的创新,这丰富了基本Petri网的描述能力。但是目前的各种扩展中,对于资源方面的全局约束,没有太多的讨论。本文将基于传统的广义Petri网,提出一种带有全局资源约束的Petri网。添加了资源元素、资源变量、资源相关时间变迁的速率函数以及资源配置的单射函数,使得传统的广义Petri网的时间变迁,都有一个资源关联,时间变迁的实施,受到其相关联的资源的约束。这种资源约束Petri网,不仅可以通过库所和变迁以及有向弧,来建模业务流程中各个任务之间的相互关系,同时可以通过Petri网中的资源元素,来建模该业务流程中可以执行这些任务的可用资源。基于这种资源约束Petri网,设计开发它的仿真程序,研究资源配置优化算法。算法基于分枝定界法,首先确定对各种资源配置进行探索的路径,在探索过程中,使用减弱的条件约束,计算路径中节点的上界和下界,通过此上界和下界,修剪不需要探索的路径,从而在高效的时间内,找到一种最优的资源配置方案,使得系统的响应时间最短。资源约束Petri网可以用来建模一个包含有限个可用资源的业务流程,并且可以通过仿真优化程序,找出这有限个资源的最佳配置方案,使得该业务流程的性能最高。本文还将通过现实的案例,来验证这种资源约束Petri网的建模能力,通过现实的实验,来验证配套程序的仿真优化算法。