Abstract
Multi-dimension Workflow net (MWF-net), which includes process, organization, and resource perspectives, is introduced. Using the structure analysis of the TWF-net in the process perspective and the perspectives mapping, the routing of transaction instances in the multi-TWF-nets can be projected into the flow of transaction instance between different resource pools in the resource perspective. After the relevant work in is briefly reviewed, the boundedness verification method of a MWF-net is proposed. A MWF-net is bounded implies the corresponding queuing network in the resource perspective has stable solution. Based on the discussion of several operational principles in the context of workflow model, an approximate method for performance analysis of a workflow model is presented.