摘要： Boualem Benatallah和Rachid Hamadi小组的论文比较多。论文笔记：在上一篇A Petri Net-based Hierarchical Workflow Designer中，只是给出其设计的简单描述。目的：自上而下设计按给定的规则设计workflow，设计出的工作流满足需要的合理性属性。后面给出相应的细化（求精）规则及通信，同步及合适化属性等。s2:分两个阶段进行处理：首先，根据规则在高层进行整体设计，然后在低层设计一些具体的设计的细节，保证不会出现死锁。 首先给出基本求精规则，包括sequential place split、sequential transitio 阅读全文