A Process Definition Model and its Verification Analysis

• 一种过程定义模型及其验证性分析