Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Bertrand, J., Wortmann, J.C., Wijngaard, J.: Production Control, A Structural and Design Oriented Approach. In: Educatieve Partners, 2nd edn. (1998)
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)
Dijkstra, E.W.: Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science. Springer, Heidelberg (1982)
Ezpeleta, J.: Flexible manufacturing systems. In: Girault, C., Valk, R. (eds.) Petri nets for systems engineering. Springer, Heidelberg (2003)
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)
Feinberg, E., Shwartz, A.: Handbook of Markov Decision Processes: Methods and Algorithms. Kluwer, Dordrecht (2002)
Kelton, W., Sadowski, R., Sadowski, D.: Simulation with Arena. McGraw-Hill, New York (1998)
Puterman, M.: Markov decision processes: discrete stochastic dynamic programming. Wiley, New York (1994)
Silva, M., Turuel, E.: Petri nets for the design and operation of manufacturing systems. European Journal of Control 3(3), 182–199 (1997)
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)
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)
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)
van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Hee, K., Serebrenik, A., Sidorova, N., Voorhoeve, M., van der Wal, J. (2005). The Price of Coordination in Resource Management. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538394_7
Download citation
DOI: https://doi.org/10.1007/11538394_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28238-9
Online ISBN: 978-3-540-31929-0
eBook Packages: Computer ScienceComputer Science (R0)