The price of coordination in resource management

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 96-108

  Van Hee, Kees ^a   Serebrenik, Alexander ^a   Sidorova, Natalia ^a   Voorhoeve, Marc ^a   Van Der Wal, Jan ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COSTS; PUBLIC POLICY;

DEADLOCKS; PRICES; RESOURCE MANAGEMENT; WORKFLOW MANAGEMENT SYSTEMS;

RESOURCE ALLOCATION;

EID: 27144493846     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_7     Document Type: Conference Paper

References (15)

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