基本控制模式(Basic Control Patterns)
n 顺序(Sequence):顺序执行活动
n 并行分支(Parallel Split):并行执行活动
n 同步(Synchronization):同步两个并行执行的线程
n 互斥选择(Exclusive Choice):从许多可选路径中选择一个可执行路径
n 简单汇聚(Simple Merge):汇聚两条可选执行路径
l 高级分枝和同步模式(Advanced Branching and Synchronization Patterns)
n 多重选择(Multiple Choice):从许多可选路径中选择
因为Petri网的工作流模型变迁中有guard,所以图中库所p1之后连接的变迁B和C哪个能发生,由变迁上的guard来决定。这相当于Aalst文献中提到的图1WorkflowA的实现方式。
n 同步汇聚(Synchronizing Merge):汇聚许多个执行路径,如果许多路径被
采用则同步。如果一条执行路径被采用则简单汇聚
在下图中,p1的结构是多重选择,A执行之后,B、C的执行根据B、C之上的guard。B、C执行之后同步汇聚到p2.如果B不能执行,p1上由跳转条件给一个token到p2,同时c执行,传一个token到p2,然后D可执行。C执行亦然。B、C都执行则跳转不发生。
n 多重汇聚(Multiple Merge):不同步地汇聚许多个执行路径
建模的时候就让用户展开,用并行-同步的办法来支持多重汇聚模式。
活动B、C其中每一个执行完以后,都要触发D执行。建模时将D展开成多个,然后进行同步即可。
n 鉴别器(Discriminator):不同步地汇聚许多个执行路径,但仅执行后续活动一次
在理论上,过程执行完成以后会留下一个冗余token。但是不影响实现时过程的执行。
n M 中的N 汇聚(N-out-of-M Join):汇聚许多个执行路径,但执行部分同
步,而且仅执行后续活动一次
解决办法和存在的问题同鉴别器,因为M中N汇聚是广义上的鉴别器。
l 其他模式暂未考虑。
---图贴不上 很可惜-----