工作流是一类能够完全或者部分自动执行的业务流程,根据一系列过程规则,文档、信息或任务能够在不同的执行者之间传递、执行。清晰和准确地对业务流程进行描述需要借助于一定的建模方法和工具。本文主要研究基于Petri网的工作流模型。 Petri网是对离散并行系统的数学表示,适合于描述异步的、并发的事件驱动系统。文章详细讨论了Petri网的结构,并用Petri网构造了工作流的基本单元:串行、并行、条件选择、循环组件。通过研究发现,当系统的局部结构具有相似性,即:系统有许多地位同等的元素时,Petri网的扩展之一,着色Petri网具有更强的模型描述能力。本文从理论上对Petri网的网络结构进行了一些探索,比如网络的可达性等,在一定程度上证明了这种网络的严谨性。 本文还给出了基于Petri网建模在办公自动化系统中的应用。在工作流管理软件环境Lotus Domino/Notes中,对办公过程应用Petri网进行建模和分析。具体的实例应用表明,利用Petri网进行过程建模,不仅可以很好地描述业务流程中异步性、并发性和资源共享等问题,还可以对模型的正确性进行数学分析和验证,在工作流引擎执行之前发现设计错误,避免了模型中可能出现的冲突和死锁。