论文部分内容阅读
工作流模型的正确性是在工作流分析的上下文的主要挑战之一。这篇论文的目的是为验证工作流模型的正确性提供一条改进 Petri-net-based 减小途径。到目的，怎么由网络起初被给的 Petri 代表 well-behavedbuilding 块和企业进程的控制结构，然后怎么造组织得好的进程网络被介绍。根据组织得好的过程网的结构的特征，一套遗产减小规则被改进并且延长，然后一条完全的 Petri-net-based 确认途径被建议。有改进减小方法的多项式时间的稳固和复杂性也被证明。