工作流管理是一个被业界广泛应用并迅速发展的技术,而工作流建模是工作流技术研究的基础。本文主要是基于Petri理论对工作流建模方法和模型的分析评价方法进行研究与探索。本文引入了系统的、形式化的面向对象颜色Petri网的描述规则,以抽象、简便的方法描述客观世界的相互关系;利用面向对象颜色Petri网方法对一个特定的应用系统进行建模,得出了系统各对象的OOCPN(Object Oriented Coloured Petri Nets)模型和OCN(Object Communication Net)模型,并利用矩阵方程不变量分析的方法对该模型的可达性、活性、守恒性、有界性和安全性进行了验证。本文对OOCPN的应用作进一步的拓展,探索OOCPN在复杂工作流和动态工作流中建模方法的研究。提出了OOCPN在复杂工作流和动态工作流中应用的一种通用方法,对在实际问题中准确构建OOCPN模型具有重要的指导意义和现实价值。