Resource constraint is a choke point of workflow system

and the efficient resource modeling and Verification methods are more important for workflow management system(WFMS).A new formal method used to model and analyze workflow system with resource constraint

resource workflow net

is presented based on Petri net and workflow techniques in this paper.Based on the definition of resource space(RS)

resource subnet

resource workflow net(RWF-net)

and soundness of the RWF-net

the resource scheduling views model formulated in WFMS are described and translated into Petri net

and a necessary and sufficient condition for the soundness of RWF-net is presented.The method integrate process model and resource model that can solve system analysis and verification problem for the process and resource modeled respectively and assure the consistency between process model and resource model. The usability of the research results in this paper is illustrated by an example.