Abstract
Multi-dimension Workflow net (MWF-net) [1], 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 [I] 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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 1175-1180 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 2 |
| State | Published - 2003 |
| Event | System Security and Assurance - Washington, DC, United States Duration: Oct 5 2003 → Oct 8 2003 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Hardware and Architecture
Keywords
- Operational analysis
- Performance analysis
- Petri nets
- Workflow