Abstract
In this paper, we study performance evaluation of workflow-based information systems. Because of state space explosion, analysis by stochastic models, such as stochastic Petri nets and queuing models, is not suitable for workflow systems in which a large number of flow instances run concurrently. We use fluid-flow approximation technique to overcome this difficulty. In the proposed method, GSPN (Generalized Stochastic Petri Nets) models representing workflows are approximated by a class of timed continuous Petri nets, called routing timed continuous Petri nets (RTCPN). In RTCPN models, each discrete set is approximated by a continuous region on a real-valued vector space, and variance in probability distribution is replaced with a real-valued interval. Next we derive piecewise linear systems from RTCPN models, and use interval methods to compute guaranteed enclosures for state variables. As a case study, we solve an optimal resource assignment problem for a paper review process.
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.
References
Abate, A.F., Esposito, A., Grieco, N., Nota, G.: Workflow Performance Evaluation through WPQL. In: Proc. SEKE 2002, pp. 489–495 (2002)
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)
Biere, A., et al.: Bounded Model Checking. Book chapter: Advances in Computers, vol. 58. Academic Press, London (2003)
David, R., Alla, H.: On Hybrid Petri Nets. Discrete Event Dynamic Systems: Theory and Applications 11, 9–40 (2001)
Dehnert, J., Freiheit, J., Zimmermann, A.: Modeling and Performance Evaluation of Workflow Systems. In: Proc. 4th. World Multiconference on Systems, Cybernetics and Informatics, vol. VIII, pp. 632–637 (2000)
Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems. IEEE Press, Los Alamitos (1995)
Deville, Y., Janssen, M., Hentenryck, P.V.: Consistency Techniques in Ordinary Differential Equations. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 162–176. Springer, Heidelberg (1998)
Eshuis, R., Wieringa, R.: Verification Support for Workflow Design with UML Activity Graphs. In: Proc. ICSE 2002, pp. 166–176 (2002)
Gaujal, B., Guia, A.: Optimal Stationary Behavior for a Class of Timed Continuous Petri Nets. Automatica 40, 1505–1516 (2004)
Hillston, J.: Fluid Flow Approximation of PEPA Models. In: Proc. 2nd Int. Conf. Quantitative Evaluation Systems, pp. 33–42 (2005)
Hiraishi, K.: KCLP-HS: A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems, JAIST Research Report IS-RR-2006-012 (August 2006)
Horton, G., Kulkarni, V.G., Nicol, D.M., Trivedi, K.S.: Fluid Stochastic Petri Nets: Theory, Applications, and Solution Techniques, NASA Contractor Report, no. 198274 (1996)
Júlvez, J., Recald, L., Silva, M.: Steady-state Performance Evaluation of Continuous Mono-t-semiflow Petri Nets. Automatica 41, 605–616 (2005)
Kleinrock, L.: Queuing Systems, Volume II: Computer Applications. vol. 2. Wiley, Chichester (1976)
Li, J., Fan, Y.S., Zhou, M.C.: Performance Modeling and Analysis of Workflow. IEEE Trans. on Systems, Man, and Cybernetics: Part A 34(2), 229–242 (2004)
Lindermann, C.: Performance Modeling with Deterministic and Stochastic Petri Nets. Wiley, Chichester (1998)
Mandelbaum, A., Chen, H.: Discrete Flow Networks: Bottlenecks Analysis and Fluid Approximations. Mathematics of Operations Research 16, 408–446 (1991)
Moore, R.: Methods and Applications of Interval Analysis. Philadelphia: SIAM (1979)
Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Interval Methods for Simulation of Dynamical Systems with State-Dependent Switching Charactaristics. In: Proc. IEEE Int. Conf. Control Applications, pp. 355–360 (2006)
Silva, M., Recade, L.: Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 26–47. Springer, Heidelberg (2005)
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hiraishi, K. (2008). Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. In: van Hee, K.M., Valk, R. (eds) Applications and Theory of Petri Nets. PETRI NETS 2008. Lecture Notes in Computer Science, vol 5062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68746-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-68746-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68745-0
Online ISBN: 978-3-540-68746-7
eBook Packages: Computer ScienceComputer Science (R0)