一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)

摘要

随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 。