工作流合理性验证中的事件平衡分析

• Analysis of Event Balance in the Verification of Workflow Soundness