Boualem Benatallah和 Rachid Hamadi小组的论文比较多。
论文笔记：
在上一篇A Petri Net-based Hierarchical Workflow Designer中，只是给出其设计的简单描述。
目的：自上而下设计按给定的规则设计workflow，设计出的工作流满足需要的合理性属性。后面给出相应的细化（求精）规则及通信，同步及合适化属性等。
s2:分两个阶段进行处理：首先，根据规则在高层进行整体设计，然后在低层设计一些具体的设计的细节，保证不会出现死锁。
首先给出基本求精规则，包括sequential place split、sequential transition split，(c) OR-split (d) AND-split (e) Loop。
细化出来的网具有如下性质：1）只有一个输入，输出库所，2）工作流网中的输入弧与输出弧相同，3）所得到的网是一个自由选择网，4）其逆网也可以由此方法得到。
不能由以上规则得到的网，如带死锁的petri net，以及and-or split 交叉的网等。通过实例给出refinement tree的概念。证明可得到每一个WFnet有一个唯一确定的refinement tree.
s3:给出在有通信或同步的情况下，如何保证WF网的合理性。
首先，在Loop后面如果跟着OR或变迁类型的结点，则从X1到X2的路径上，有且只能有一个结点发生。否则，两者都发生或都不发生。
其次，在通信或同步的时候，引入 place或变迁，要保证其在并行分支上，且不能形成闭环。
提出恢复域的概念，如果发生故障，尽可能在小的范围内进行恢复。
