Method of workflow model performance analysis

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 26, Issue 5, 2003, Pages 513-523

  Li, Jian Qiang ^a   Fan, Yu Shun ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Performance analysis; Petri nets; System configuration; Workflow

Indexed keywords

ALGORITHMS; ITERATIVE METHODS; MATHEMATICAL MODELS; PETRI NETS;

MODEL DECOMPOSITION; MODEL MAPPING; MODEL PERFORMANCE ANALYSIS; MULTI DIMENSION WORKFLOW NETS; SYSTEM CONFIGURATION; WORKFLOW MODELS;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 0041967058     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. Fan Yu-Shun. Fundamentals of Workflow Management Technology. Beijing: Tsinghua University Press, Berlin: Springer-Verlag, 2001 (in Chinese)
2. Wasim Sadiq, Orlowska M E. Analyzing process models using graph reduction techniques. Information Systems, 2000, 25(2): 117-134.
3. van der Aalst W M P. Verification of workflow nets. In: Azema P, Balbo G eds. ICATPN'97. LNCS 1248, Berlin: Springer-Verlag, 1997. 407-426.
4. Li Jian-Qiang, Fan Yu-Shun. Research on the Petri net reduction method based workflow model verification. Information and Control, 2001, 30(6): 492-497 (in Chinese)
5. van der Aalst W M P et al. Verification of workflow task structures: A Petri-net-based approach. Information Systems, 2000, 25(1): 43-69.
6. van der Aalst W M P. Chapter 10: Three good reasons for using a Petri-net-based workflow management system. In: Wakayama T et al eds. Information and Process Integration in Enterprise: Rethinking Documents, The Kluwer International Series in Engineering and Computer Science, Norwell: Kluwer Academic Publishers, 1998. 161-182.
7. van der Aslst W M P. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66.
8. Ellis C A, Nutt G J. Modeling and enactment of workflow systems. In: Marsan M A ed. Application and Theory of Petri Nets, LNCS 691, Berlin: Springer-Verlag, 1993. 1-16.
9. Ferscha A. Qualitative and quantitative analysis of business workflows using generalized stochastic Petrinets. In: Proceedings of CON'94, Linz, Austria, 1994. 222-234.
10. Adam N R, Atluri V, Huang W K. Modeling and analysis of workflow using Petri nets. Journal of Intelligent Information Systems: Special Issue on Workflow and Process Management, 1998, 10(2): 1-29.
11. Badouel E, Oliver J. Reconfigurable Nets: A Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. Publication Interne Number 1163, IRISA, France, 1998.
12. Workflow Management Coalition. Interface 1: Process definition interchange, process model. Document Number WfMC TC-1016-P, 1998.
13. Best E. Structure theory of Petri nets: The free choice hiatus. In: Brauer W, Reisig W, Rozenberg G eds. Advances in Petrinets 1986 Part I: Petri Nets, Central Models and Their Properties, LNCS254, Berlin: Springer-Verlag, 1987. 168-206.
14. Murata. Petri Nets: properties. Analysis and Applications. Proceedings of the IEEE, 1989, 77(4): 541-580.
15. Li Jian-Qiang, Fan Yu-Shun. Timing boundedness verification and analysis of a workflow model. Computer Integrated Manufacturing Systems, 2002, 8(10): 770-775 (in Chinese)
16. Lin Chuang. Stochastic Petri Nets and Performance Evaluation. Beijing: Tsinghua University Press, 2000 (in Chinese)