The Price of Coordination in Resource Management

  • Kees van Hee
  • Alexander Serebrenik
  • Natalia Sidorova
  • Marc Voorhoeve
  • Jan van der Wal
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3649)


We propose a resource management policy that grants or refuses requests for resources based only on the request made and the number of free resources. Computations at runtime are independent of the number of active cases. The policy requires little coordination and is therefore easy to implement in workflow management systems. This policy has been shown to be successful in avoiding deadlocks. In this paper we investigate its performance characteristics.


Business Process Markov Decision Process Input Place Tandem Queue Free Resource 
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.
    Barkaoui, K., Petrucci, L.: Structural analysis of workflow nets with shared resources. In: Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM’98). Computing science reports, vol. 98/7, pp. 82–95. Eindhoven University of Technology (1998)Google Scholar
  2. 2.
    Bertrand, J., Wortmann, J.C., Wijngaard, J.: Production Control, A Structural and Design Oriented Approach. In: Educatieve Partners, 2nd edn. (1998)Google Scholar
  3. 3.
    Colom, J.: The resource allocation problem in flexible manufacturing systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 23–35. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Dijkstra, E.W.: Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science. Springer, Heidelberg (1982)zbMATHGoogle Scholar
  5. 5.
    Ezpeleta, J.: Flexible manufacturing systems. In: Girault, C., Valk, R. (eds.) Petri nets for systems engineering. Springer, Heidelberg (2003)Google Scholar
  6. 6.
    Ezpeleta, J., Colom, J.M., Martínez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2), 173–184 (1995)CrossRefGoogle Scholar
  7. 7.
    Feinberg, E., Shwartz, A.: Handbook of Markov Decision Processes: Methods and Algorithms. Kluwer, Dordrecht (2002)Google Scholar
  8. 8.
    Kelton, W., Sadowski, R., Sadowski, D.: Simulation with Arena. McGraw-Hill, New York (1998)Google Scholar
  9. 9.
    Puterman, M.: Markov decision processes: discrete stochastic dynamic programming. Wiley, New York (1994)zbMATHGoogle Scholar
  10. 10.
    Silva, M., Turuel, E.: Petri nets for the design and operation of manufacturing systems. European Journal of Control 3(3), 182–199 (1997)zbMATHGoogle Scholar
  11. 11.
    van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248. Springer, Heidelberg (1997)Google Scholar
  12. 12.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  13. 13.
    van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  15. 15.
    van Hee, K., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of resource-constrained workflow nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250–267. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Kees van Hee
    • 1
  • Alexander Serebrenik
    • 1
  • Natalia Sidorova
    • 1
  • Marc Voorhoeve
    • 1
  • Jan van der Wal
    • 1
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations