工作流理论(一)-----工作流理论和Petri网

[color=blue][size=x-large][align=center]工作流理论和Petri网[/align][/size][/color]

[size=medium][color=blue]工作流 [/color][/size]

由一个与[color=red]特定过程[/color]相关的[color=red]案例资源[/color]和[color=red]触[/color]发组成。

[b]案例[/b]

可以把工作中处理的事称为案例，例如保险索赔、税收申报等。它是工作流管理系统控制的目标对象。[color=red]每个案例都有唯一的标识。生命周期也是有限的。[/color]例如保险索赔案例，提出索赔到索赔结束，从工作流系统中消失。案例出现和消失之间，总是处于某种特定的状态，该状态由三个元素组成：
[color=red] 1.案例相关的属性[/color]，用来管理案例。比如根据各个医院的岗位设置情况，决定是发布考试还是发回重设。这些属性随着案例的进展而变化的。
[color=red]2.已经满足的条件[/color]，用来说明案例的进展。可以把条件看成任务被执行的前提。
[color=red]3.案例的内容[/color]，比如文档，文件等。不属于工作流管理系统的范畴。

[b]任务[/b]

任务是一个工作的逻辑单元，它是[color=red]不可分割的，必须完整的执行[/color]。为了避免把任务本身和作为某案例的一部分的任务执行相混淆，使用术语[color=red]工作项和活动[/color]。
1.工作项：是案例和将要执行的任务的结合体。可以把它看成是要被执行的实际 工作块。
2.活动：工作项的实际执行。当工作从某个工作项开始时，它就成为一个活动。

[b]过程[/b]

[color=red]案例的执行方式由过程来描述[/color]，过程描述了哪些任务需要被执行，以什么次序执行。同时它也定义了案例的生命周期。
[b]路由[/b]

[color=red]过程的执行称为案例的“路由”。[/color]分为顺序路由、并行路由、选择路由、循环路由。

[b]启动[/b]

只有工作项在初始化之后才能开始执行，称为一个[color=red]触[/color]发。触发的形式包括：资源驱动、外部事件、时间信号。


[color=blue][size=large]Petri网[/size][/color]

Petri网是一种图形化描述过程的强有力工具，它可以非常直观的描述一个工作流过程。

[b]库所、变迁、标记[/b]

Petri网由[color=red]库所和变迁组成，用圆圈表示库所，矩形表示变迁[/color]。库所和变迁由有向弧相连接。从变迁到库所，从库所到变迁，相同两个节点之间不允许相连接。[color=red]库所可以容纳标记，标记用黑点表示。[/color]

变迁是Petri网中的主动元素。通过实施变迁，过程从一个状态转变到另一个状态。通常表示事件、操作、转换或传输。
库所是Petri网中的被动元素，它们不能改变网的状态，库所通常表示媒介、地理位置、阶段、状态、条件等

标记通常表示对象，这些对象可能是具体的事物，也可能是抽象的信息。

[img]/upload/attachment/55278/f2420197-3751-335a-ae84-c199ca63fcdf.gif[/img]

[img]/upload/attachment/55280/c2a0f744-2f13-3255-8ba4-f238a04d7654.gif[/img]


[b]变迁实施[/b]

变迁的实施就是从[color=red]每个[/color]输入库所中获得标记([color=blue]每个输入库所中都要有标记，这也是条件[/color])，然后放到[color=red]每个[/color]输出库所中。例如上图，从输入库所claim中获取标记，然后放到输出库所under consideration中。换句话说，实施时，变迁消耗掉来自输入库所的标记，并为每个输出库所产生标记。

[b]可达图[/b]
可达图是一种有向图，由节点和箭头构成，每个节点表示一种可达状态，每个箭头表示一种可能改变的状态。例如，对于上图的可达图如下。

[img]/upload/attachment/55300/e3568805-04bc-363f-85f5-0cc536d5e642.gif[/img]


可达图非常重要，它能够表达被建模过程的行为，[color=red]验证工作流网的合理性[/color]。多进行绘制可达图的训练，可以加深对Petri网工具的理解。

[b]高级Petri网[/b]

颜色扩展：传统Petri网不能区分两个标记，颜色扩展的Petri网可以用来表示一些信息，比如前置条件。
时间扩展：为标记添加时间戳。
层次扩展：一个复杂的结构，常常会使Petri变为一个“大”网，层次扩展确保我们能够在Petri网模型中添加结构。


[size=large][color=blue]工作流概念到Petri网的映射[/color][/size]

[color=red]Petri用来定义一个过程[/color]，该网有一个“入口”(没有输入狐的库所)和一个“出口”(没有输出弧的库所)。[color=red]用库所表示条件，变迁表示任务。[/color]

对于不同的案例对应的标记，我们可以使用两种方法将其转化到Petri网中。一是为每个案例创建一个单独的Petri副本，每个案例都有自己的过程；二是利用颜色扩展。

[b]路由[/b]

顺序路由：早Petri网中，通过在两个任务间添加一个库所进行链接的方式来建模。


[img]/upload/attachment/55302/bcf640ce-84cf-378c-b66c-0064363e6997.gif[/img]


并行路由：使用AND-split任务，添加的这个任务使得多个任务能被同时处理。只有任务都完成，变迁才能实施，就是AND-join任务。在案例被手工执行的系统中，由于一些物理上的原因，一般只能采取顺序路由，工作流系统的出现，大大消除了这种限制。[color=red]允许并行对工作流成功意义重大[/color]。

[img]/upload/attachment/55304/fe56e935-4b34-3425-afd6-ae92f8f286cf.gif[/img]


选择路由：使用OR-split。OR-split的建模方式有一下两种

[img]/upload/attachment/55309/634546b5-d066-38f5-b81c-816e7f3cf37e.gif[/img]


[img]/upload/attachment/55311/8ebde9d7-2bac-39fe-b432-18f1d2ebf030.gif[/img]


这两种方式的OR-join是没有什么差别的，但是对于OR-split来说，[color=red]前者表示c1中有一个标记就会立刻做出选择，后者的选择会退出，只有t1或者t2必须被执行的时候，才做出实际的选择[/color]。

循环路由：。。。。。。。。。。


[b]启动[/b]

启动，一定程度上就是“触发”这个概念，它由环境而非工作流系统负责。有三种类型的触发：(1)资源主导(雇员获取工作项);(2)外部事件(例如一个EDI消息的到来)；(3)时间信号(例如在六点钟生成一个订单列表)。被资源触发的任务用一个向下的宽箭头表示。外部事件触发的任务用一个信封信号表示。时间触发的任务用一个时钟信号符号表示。