论文部分内容阅读
工作流模式建模是工作流模型的基础，Petri网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析，将目前常用的工作流模式归纳成为三种：完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步，不能表示竞争同步和非同步，为此提出一种改进的同步器，通过改进同步类型，使得同步器可以建模三种同步模式，较之改进前的同步器，增强了建模竞争同步模式和非同步模式的能力。