Formal Verification Techniques in Workflow Process Modeling

• 工作流过程建模中的形式化验证技术