Scheduling-free resource management

We investigate a resource management policy that allocates resources based on the number of available resources only. We formulate a condition on resource requesting processes, called solidity that guarantees successful termination. Processes that do not satisfy this condition can be modified to become solid. We investigate performance of the resource management policy proposed by comparing it to the theoretically found optimum for the special case. Our method can be applied in, for example, project management systems, orchestration software and workflow engines.

[1]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[2]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[3]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[4]  Rüdiger Valk,et al.  Petri Nets for Systems Engineering , 2003, Springer Berlin Heidelberg.

[5]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[6]  R. S. Laundy,et al.  Multiple Criteria Optimisation: Theory, Computation and Application , 1989 .

[7]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[8]  Manuel Silva Suárez,et al.  Petri Nets for the Design and Operation of Manufacturing Systems , 1997, Eur. J. Control.

[9]  Jwm Will Bertrand,et al.  Production Control: A Structural and Design Oriented Approach , 1990 .

[10]  Theodor J. Stewart,et al.  Multiple criteria decision analysis - an integrated approach , 2001 .

[11]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[12]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[13]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[14]  Kees M. van Hee,et al.  The Price of Coordination in Resource Management , 2005, Business Process Management.

[15]  J. K. Lenstra,et al.  Local Search in Combinatorial Optimisation. , 1997 .

[16]  J. Fzpeleta.  Flexible Manufacturing Systems , 2003 .

[17]  Kees M. van Hee,et al.  Soundness of Resource-Constrained Workflow Nets , 2005, ICATPN.

[18]  Vineet Kahlon,et al.  Model Checking Large-Scale and Parameterized Resource Allocation Systems , 2002, TACAS.

[19]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[20]  José Manuel Colom,et al.  The Resource Allocation Problem in Flexible Manufacturing Systems , 2003, ICATPN.

[21]  Ahmed Bouajjani,et al.  Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management , 2003, CONCUR.