现在的位置: 首页 > 综合 > 正文

活动图到Petri-net的映射

2013年09月17日 ⁄ 综合 ⁄ 共 883字 ⁄ 字号 评论关闭

基本控制模式(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之后连接的变迁BC哪个能发生,由变迁上的guard来决定。这相当于Aalst文献中提到的图1WorkflowA的实现方式。

 

n 同步汇聚(Synchronizing Merge):汇聚许多个执行路径,如果许多路径被

采用则同步。如果一条执行路径被采用则简单汇聚

    在下图中,p1的结构是多重选择,A执行之后,BC的执行根据BC之上的guardBC执行之后同步汇聚到p2.如果B不能执行,p1上由跳转条件给一个tokenp2,同时c执行,传一个tokenp2,然后D可执行。C执行亦然。BC都执行则跳转不发生。

   

 

n 多重汇聚(Multiple Merge):不同步地汇聚许多个执行路径

    建模的时候就让用户展开,用并行-同步的办法来支持多重汇聚模式。

    活动BC其中每一个执行完以后,都要触发D执行。建模时将D展开成多个,然后进行同步即可。

 

n 鉴别器(Discriminator):不同步地汇聚许多个执行路径,但仅执行后续活动一次

    在理论上,过程执行完成以后会留下一个冗余token。但是不影响实现时过程的执行。

 

n M 中的N 汇聚(N-out-of-M Join):汇聚许多个执行路径,但执行部分同

步,而且仅执行后续活动一次

    解决办法和存在的问题同鉴别器,因为MN汇聚是广义上的鉴别器。

 

l 其他模式暂未考虑。

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

 

 

抱歉!评论已关闭.