摘要：工作流技术是计算机应用领域的一个新的研究热点.将Petri网引入工作流模型是一种常见的建模方法.但是,传统的PN不能直接用于描述比较复杂的工作流模型.本文根据C.A.Ellis定义的信息控制网、W.M.P.vanderAalst定义的工作流网,结合工作流本身的特点,对Petri网进行扩展,提出了一种描述工作流模型的新方法--信息控制Petri网,并给出其表示工作流模型的正确性定义和验证.

关键词：工作流模型 扩展petri网 工作流网 工作流建模 工作流技术 

单位：华中科技大学计算机学院，湖北武汉430074