论文部分内容阅读
工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一，但基于覆盖图的工作流网的结构正确性检查的实现过于复杂．本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上，提出了工作流网的正确性检查的化简规则及相应的化简算法，实现了对于正确结构的工作流网直接验证；对于错误结构的工作流网，输出其包含问题节点在内的子网结构，可以进一步通过覆盖图的方法确认问题节点，从而降低了工作流网正确性检查的复杂性．