摘要：

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

关键词: 工作流模型 扩展Petri网 工作流网 工作流建模 工作流技术 表示 描述 信息控制 定义 研究热点