Abstract
Performance analysis is one of the most important aspects in workflow management system. In this paper, we propose the stochastic Petri nets workflow model (WF-SPN), which is the extension of WF-net. Based on our model, we give four performance equivalent formulae for four basic routing pattern of workflow system. Then, we put forward an approximate performance analysis method on the base of our performance equivalent formulae. An example illustrates our method can solve real-world problems efficiently.
This research is supported by the National Natural Science Foundation of China (No.90104002 and 60173012), the Projects of Development Plan of the State Key Fundamental Research (No.G1999032707) and the Projects of Development Plan of the State High Technology Research (No. 2001AA112080).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Reference
WFMC. Workflow management coalition terminology and glossary (WFMC-TC-0100). Tech. Rep., Workflow Management Coalition, Brussals, February 1999.
K. Kim and C.A. Ellis. Workflow performance and scalability analysis using the layered queuing modeling methodology. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work, 2001:135–143.
S. Yamaguchi, G. Qi-Wei and M. Tanaka Performance evaluation on change time of dynamic workflow changes. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2000:2177–2187.
T. Jaeger and A. Prakash. Management and utilization of knowledge for the automatic improvement of workflow performance. Conference on Organizational Computing Systems-Proceedings, 1995:13–16.
K. Kim and D. Han. Performance and scalability analysis on client-server workflow architecture. Proceedings of the International Conference on Parallel and Distributed Systems, 2001:179–186.
Jin Hyun Son and Myoung Ho Kim. Improving the performance of time-constrained workflow processing. Journal of Systems and Software 2001:211–219.
van Hee, K.M. and Reijers, H.A. Using Formal Analysis Techniques in Business Process Redesign. Lecture Notes in Computer Science, Vol. 1806: Business Process Managements models, techniques and empirical studies, pages 142–160. Springer-Verlag, 2000.
C. Lin. Stochastic Petri net and system performance evaluation. Tsinghua University Press, 2000.
J. L. Peterson. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Trans. Comput, vol. C-31, no. 9, pp. 913–917, Sept. 1982.
Wil van der Aalst and Kees van Hee. Workflow Management: Models, Methods, and Systems. The MIT Press, 2002, pp: 271–272.
Trivedi K S. Probability & statistics with reliability, queuing, and computer science applications. Prentice-Hall, Inc, 1982
Giaodo G, Muppala J, Trivedi K S. SPNP: stochastic Petri net package. In: Proceedings of the Petri Nets and Performance Models, Kyoto, Japan, 1989, 142–151
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chuang, L.I.N., Yang, Q.U., Fengyuan, R.E.N., Marinescu, D.C. (2002). Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models. In: Han, Y., Tai, S., Wikarski, D. (eds) Engineering and Deployment of Cooperative Information Systems. EDCIS 2002. Lecture Notes in Computer Science, vol 2480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45785-2_5
Download citation
DOI: https://doi.org/10.1007/3-540-45785-2_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44222-6
Online ISBN: 978-3-540-45785-5
eBook Packages: Springer Book Archive