郝颖,封雪，于世东

（营口理工学院电气工程系，营口115000）

基于Petri网的网上购书流程建模

郝颖,封雪，于世东

（营口理工学院电气工程系，营口115000）

Petri网是一种系统模拟和分析的有力工具，工作流网是基于Petri网对业务流程的形式化描述。首先介绍Petri网和工作流网的基本概念，接着介绍基于Petri网的工作流建模技术，然后给出网上购书流程的Petri网模型，最后使用工作流网分析工具WoPeD对建立的Petri网工作流模型的正确性进行分析。

0 引言

工作流通常与业务流程重组相关，它涉及到工作流的建模、评估、合理性分析、执行等相关的研究[1]。工作流管理联盟给出的工作流定义是：工作流是一类能够完全或者部分自动执行的经营过程，它根据一系列过程规则，文档、信息或任务能够在不同的执行者之间进行传递与执行[2]。

工作流建模就是将业务流程及各流程之间的业务规则抽象出来，并用一种形式化的、计算机可处理的方式来表示，这种形式化的结果就称为工作流模型。工作流模型必须包含执行工作流过程时所需要的全部信息，包括工作流的所有活动间执行的依赖关系，顺序、循环、判断条件，以及资源约束条件[3]。

目前，对工作流模型描述和分析方法的研究正日益受到人们的重视。工作流建模方法主要有以下三种类型（1）基于通信的方法；（2）基于活动的方法；（3）基于Petri网的方法[4]。其中,基于Petri网的方法对工作流建模被广泛接受，主要有以下原因[5-9]：（1）Petri网具有很强的表达能力，能够描述工作流建模过程中涉及到的各种语义。……