Abstract: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 confilct are given,which can be easily used in practice.

MULTIPLE WORKFLOW-NET AND ITS SCHEDULABILITY VERIFICATION BASED ON RESOURCE AND TEMPORAL CONSTRAINT