摘要

Petri网是一种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性等特征的复杂系统提供了强有力的手段。作为一种图形化的工具,可以把Petri网看作与软件工程中的数据流图和网络相似的通信辅助方法;作为一种数学化的工具,它可以用来建立状态方程、代数方程和其它描述系统行为的数学模型。在对工作流选择建模工具时,必须要考察其模型的分析能力。所以,Petri网自然地成为构建工作流模型的理想语言。