Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds

  • Kunihiko Hiraishi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5062)


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.


Interval Arithmetic Interval Method Input Place Bound Model Check State Space Explosion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abate, A.F., Esposito, A., Grieco, N., Nota, G.: Workflow Performance Evaluation through WPQL. In: Proc. SEKE 2002, pp. 489–495 (2002)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Biere, A., et al.: Bounded Model Checking. Book chapter: Advances in Computers, vol. 58. Academic Press, London (2003)Google Scholar
  4. 4.
    David, R., Alla, H.: On Hybrid Petri Nets. Discrete Event Dynamic Systems: Theory and Applications 11, 9–40 (2001)CrossRefMathSciNetzbMATHGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems. IEEE Press, Los Alamitos (1995)zbMATHGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Eshuis, R., Wieringa, R.: Verification Support for Workflow Design with UML Activity Graphs. In: Proc. ICSE 2002, pp. 166–176 (2002)Google Scholar
  9. 9.
    Gaujal, B., Guia, A.: Optimal Stationary Behavior for a Class of Timed Continuous Petri Nets. Automatica 40, 1505–1516 (2004)CrossRefzbMATHGoogle Scholar
  10. 10.
    Hillston, J.: Fluid Flow Approximation of PEPA Models. In: Proc. 2nd Int. Conf. Quantitative Evaluation Systems, pp. 33–42 (2005)Google Scholar
  11. 11.
    Hiraishi, K.: KCLP-HS: A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems, JAIST Research Report IS-RR-2006-012 (August 2006)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Júlvez, J., Recald, L., Silva, M.: Steady-state Performance Evaluation of Continuous Mono-t-semiflow Petri Nets. Automatica 41, 605–616 (2005)CrossRefzbMATHGoogle Scholar
  14. 14.
    Kleinrock, L.: Queuing Systems, Volume II: Computer Applications. vol. 2. Wiley, Chichester (1976)Google Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Lindermann, C.: Performance Modeling with Deterministic and Stochastic Petri Nets. Wiley, Chichester (1998)Google Scholar
  17. 17.
    Mandelbaum, A., Chen, H.: Discrete Flow Networks: Bottlenecks Analysis and Fluid Approximations. Mathematics of Operations Research 16, 408–446 (1991)MathSciNetzbMATHCrossRefGoogle Scholar
  18. 18.
    Moore, R.: Methods and Applications of Interval Analysis. Philadelphia: SIAM (1979)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
  23. 23.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Kunihiko Hiraishi
    • 1
  1. 1.School of Information ScienceJapan Advanced Institute of Science and TechnologyIshikawaJapan

Personalised recommendations