中文摘要：

工作流建模阶段的验证工作对工作流的成功执行具有重要意义。首先分析了与工作流执行密切相关的资源和时间特性，考虑到工作流应用系统中总是有若干工作流并发执行，于是综合考虑结构、时间、资源限制三个层面，提出一个工作流应用系统一般性限制框架。基于该框架提出了多工作流网原型，并进一步给出了多工作流网下资源冲突和可调度性的概念，最后给出了多工作流网可调度性验证算法及其冲突解决方案。

英文摘要：

It is of great importance to do verification work at modeling time before the workflow runs. The workflow system is anatomized from the resource and temporal perspective. Considering multiple workflows execute concurrently in a workflow system, a generic framework which synthesizes constructral,temporal and resource constraints is proposed to steer the work of the workflow modeling and workflow verification. The definition of the multiple WF-net is presented on the basis of the generic framework, and the definition of resource conflict and schedulability are given based on multiple WF-net. The algorithm of schedulability verification and the methods to solve the resource conflict are given,which can be easily used in practice.