随着计算机在日常工作中的广泛应用,人们的许多工作已经越来越多地依靠计算机来完成。与此同时,各种类型的信息系统也被广泛地使用来支持这些工作,但这些系统基本上是独立运行的,相互之间缺乏必要的交互、协作与感知,从而使得它们在协调多人的活动、协同完成某个共同的任务方面有着严重的不足,这也就是工作流管理系统(Workflow Management System,WfMS)进入90年代以来吸引了研究机构与产业界广泛关注的主要原因。在实际应用中,希望能够使用直观和简单的方式创建过程定义。Petri网作为一种具有直观的图形表示建模方法,一直是受欢迎的方法。在工作流过程建模中,任务用变迁来建模,任务的条件用库所来建模,案例用托肯来建模。这样,就可以用Petri网的方法描述工作流的基本运算,因此给出了工作流基本结构到Petri网的映射方法。从而得出了基于Petri网的工作流模型(WFPN)。考虑到在实际应用中存在一些比较复杂的工作流问题,在WFPN基础上,给出了一种基于扩展的Petri网建模方法——信息控制Petri网(ICPN)建模方法。采用ICPN可以很好地处理对外部事件及运算控制对模型的影响和具有嵌套结构的复杂模型等。根据现实世界中的工作流正确性的概念,给出了工作流正确性的形式化描述,并用术语"合理性"来表征。根据合理性定义中的条件,证明了合理性等价于Petri网的活性和有界性,这样WFPN模型的正确性验证就归结为对其基网的活性和有界性验证,简化了工作流正确性分析。同时,此方法也适应分析基于ICPN的工作流模型的正确性。基于ICPN的工作流模型作为WFPN的一种扩展模型,以工作流管理软件CyberFlow系统的应用为背景,将此模型应用到实际活动中,通过实践表明,模型的设计是成功的。