Scheduling-free resource management

Data and Knowledge Engineering

Volumn 61, Issue 1, 2007, Pages 59-75

  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

Business process; Correctness; Resource management; Scheduling; Workflow

Indexed keywords

COMPUTER SOFTWARE; DATA FLOW ANALYSIS; PROJECT MANAGEMENT; SCHEDULING;

BUSINESS PROCESS; RESOURCE MANAGEMENT;

RESOURCE ALLOCATION;

EID: 33847145882     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2006.04.008     Document Type: Article

References (24)

1. van der Aalst W.M.P. Verification of workflow nets. In: Azéma P., and Balbo G. (Eds). Application and Theory of Petri Nets 1997, ICATPN'1997. Lecture Notes in Computer Science vol. 1248 (1997), Springer Verlag
2. van der Aalst W.M.P. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8 1 (1998) 21-66
3. 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., and Oberweis A. (Eds). Business Process Management: Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science vol. 1806 (1999), Springer-Verlag 161-183
4. van der Aalst W.M.P., and van Hee K.M. Workflow Management: Models, Methods, and Systems (2002), MIT Press
5. In: Aarts E., and Lenstra J.K. (Eds). Local search in combinatorial optimization (1998), John Wiley and Sons, Chichester, England
6. Barkaoui K., and Petrucci L. Structural analysis of workflow nets with shared resources. Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM'98). Computing science reports vol. 98/7 (1998), Eindhoven University of Technology 82-95
7. Belton V., and Stewart T.J. Multiple Criteria Decision Analysis: An Integrated Approach (2002), Kluwer
8. Bérard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., and Schnoebelen Ph. Systems and Software Verification. Model-Checking Techniques and Tools (2001), Springer
9. J. Bertrand, J.C. Wortmann, J.Wijngaard, Production Control, A Structural and Design Oriented Approach. Educative Partners, 1998. Second revised edition.
10. Bouajjani A., Habermehl P., and Vojnar T. Verification of parametric concurrent systems with prioritized FIFO resource management. In: Amadio R.M., and Lugiez D. (Eds). CONCUR 2003. Lecture Notes in Computer Science vol. 2761 (2003), Springer Verlag 172-187
11. Colom J. The resource allocation problem in flexible manufacturing systems. In: van der Aalst W., and Best E. (Eds). Application and Theory of Petri Nets 2003, ICATPN'2003. Lecture Notes in Computer Science vol. 2679 (2003), Springer-Verlag 23-35
12. Dijkstra E.W. Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science (1982), Springer Verlag
13. Emerson E.A., and Kahlon V. Model checking large-scale and parameterized resource allocation systems. In: Katoen J.-P., and Stevens P. (Eds). Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002. Lecture Notes in Computer Science vol. 2280 (2002), Springer Verlag 251-265
14. Ezpeleta J. Flexible manufacturing systems. In: Girault C., and Valk R. (Eds). Petri nets for systems engineering (2003), Springer-Verlag
15. Ezpeleta J., Colom J.M., and Martínez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11 2 (1995) 173-184
16. Feinberg E., and Shwartz A. Handbook of Markov Decision Processes: Methods and Algorithms (2002), Kluwer
17. R. Floyd, Algorithm 97: Shortest path. Communications ACM, 5:5, 1962.
18. van Hee K., Serebrenik A., Sidorova N., and Voorhoeve M. Soundness of resource-constrained workflow nets. In: Ciardo G., and Darondeau P. (Eds). Application and Theory of Petri Nets 2005, ICATPN'2005. Lecture Notes in Computer Science vol. 3536 (2005), Springer Verlag 250-267
19. van Hee K., Serebrenik A., Sidorova N., Voorhoeve M., and van der Wal J. The price of coordination in resource management. In: van der Aalst W.M.P., Benatallah B., Casati F., and Curbera F. (Eds). Business Process Management. Lecture Notes in Computer Science vol. 3649 (2005), Springer Verlag 96-108
20. Kelton W., Sadowski R., and Sadowski D. Simulation with Arena (1998), McGraw-Hill
21. Puterman M. Markov decision processes: discrete stochastic dynamic programming (1994), Wiley, New York
22. Silva M., and Turuel E. Petri nets for the design and operation of manufacturing systems. European Journal of Control 3 3 (1997) 182-199
23. Silva M., and Valette R. Petri nets and flexible manufacturing. In: Rozenberg G. (Ed). Applications and Theory of Petri Nets. Lecture Notes in Computer Science vol. 424 (1990), Springer 374-417
24. Steuer R.E. Multiple Criteria Optimization: Theory, Computation and Application (1986), John Wiley