The second one is reduction verification, whose research results on Petri net and workflow graph are given.

• 讨论了过程合理性验证和化简验证技术等；