System Requirement Models of Workflow and Their Formal Descriptions

• 工作流理论中系统需求模型及其形式化描述