工作流过程建模是一个复杂且易错的过程，在建模阶段进行有效的过程验证是十分必要的。目前，柔性工作流验证领域的研究还比较欠缺，该文在这方面作了一些探索。把过程合理化验证和化简验证技术应用于基于交互学习的柔性工作流建模的形式化验证中，叙述了需要验证的问题和复杂度。利用Petri网的形式化基础特性对过程进行合理性验证和规约验证。根据规约粒度的不同，分别对基于交互学习的柔性工作流模型进行原子级和组件级规约。规约使用的基本技术有库所融合、变迁融合和子网融合。在特性保持的前提下，将过程模型缩小到适当规模。结果表明，基于
