过程:
过程包括:任务条件和子过程
在用Petri网定义过程时,应该有一个“入口”(没有输入弧的库所)和一个“出口”(没有输出弧的库所)。在Petri网中用库所表示条件,用变迁表示任务。变迁是Petri网中的主动元素,库所是被动元素。
库所对应于条件,条件扮演两个重要角色
(1) 确保任务按正确的次序执行
(2) 用来建立案例的状态
原则上,每个过程都要符合两个要求:
(1) 任何时候,通过一系列任务的执行,都能到达end中有一个标记的状态。
(2) end中有标记时,所有其他库所中的标记都要消失。
这两个要求保证每个从库所start开始的案例,最终能被正确地完成。
注:当某个任务被执行时,end中不可能有任何标记。
路由:
任务可以是可选的,也就是说,可能存在仅为某些案例执行的任务。对于不同案例,任务执行的次序也可能不同。通过确定案例的任务执行路由。能确定哪些任务需要被执行,并以什么次序执行。四种路由Petri网都有对应的建模方法.
(1) 顺序路由:
如果任务一个接一个地执行,就称之为顺序执行。如果两个任务需要被顺序执行。它们之间通常有明确的依赖关系。在Petri网中,这种形式的路由通过在两个任务间添加一个库所进行链接的方式来建模。如下图:
顺序路由
(2) 并行路由:
如果多个任务可以同时执行或以任意次序执行,我们就称之为并行路由。
并行路由
在图中可以看出,通过插入两个任务,即t1和t2,来给AND-split和AND-join来建模。我们称之为“人为”添加的管理任务,因为它们一般不对应任何具体的工作,其作用仅在可能够使task1和task2并行。
待续。。。