活动图到Petri-net的映射

基本控制模式(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 其他模式暂未考虑。

---图贴不上 很可惜-----