标题：Modeling and Verification of workflow based on resource constraint
作者机构：[Pang, Shan-Chen ] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266590, China;[Pan 更多
来源：Tien Tzu Hsueh Pao/Acta Electronica Sinica
摘要：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.