一种基于Petri网的工作流模型合理性验证方法

利用Petri网结构分析理论,分析了现有合理性验证方法的优点以及不足。根据工作流网的特点,给出符合自由选择网结构的工作流网的合理性验证方法,并进行了算法实现。