减少业务过程模型的复杂性是提高模型质量的途径之一。存在冗余结构是导致业务过程模型复杂的一个原因,为消除业务过程模型中导致冗余结构产生的隐式库所,本文以Petri网作为形式化基础,提出了一种消除隐式库所的业务过程模型重构方法。隐式库所是指网系统中多余的库所元素,增加或删除它,均不影响网系统的行为。首先,该方法提出了一种在Petri网的完备前缀展开图上高效检测隐式库所的算法,以避免在可达图上检测隐式库所出现的状态空间爆炸问题;其次,在不改变业务过程模型行为的前提下,提出了删除隐式库所的重构操作,以删除模型中的冗余元素;最后,通过实验,一方面,对比说明了在完备前缀展开图上检测隐式库所比在可达图上检测隐式库所更高效;另一方面,测试说明了删除隐式库所的重构操作在重构前后不改变业务过程模型中活动间的基本关系。本文主要研究使用Petri网的完备前缀展开图来检测隐式库所,消除冗余结构以进行业务过程模型重构。为了这个目的,论文主要工作如下:第一,详细阐释Petri网可达图和Petri网完备前缀展开图之间存在的一一对应的关系,以此为基础,定义隐式条件。第二,基于隐式条件的定义,提出在完备前缀展开图上检测隐式条件。检测隐式条件后根据对应关系找出Petri网的隐式库所。第三,提出删除隐式库所的重构操作,并测试删除隐式库所的重构操作的正确性。标准是业务过程模型重构前后的基本关系是否一致。第四,选取文献中的业务过程模型,通过本文方法与其进行对比。说明本文所提方法能高效检测隐式库所,并减少模型复杂性。总之,本文基于Petri网的完备前缀展开图,提出了一种高效检测隐式库所的方法,用以重构业务过程模型,减少模型的复杂性。