Analysis of Event Balance in the Verification of Workflow Soundness

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