Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems

Keyphrases

• Petri Nets 100%
• Deadlock Prevention 100%
• Resource Allocation Systems 100%
• Network Framework 50%
• Proposed Policy 50%
• Multiple Resources 50%
• Resource Acquisition 50%
• Iterative Algorithm 50%
• Mixed Integer Programming Formulations 50%
• Liveness-enforcing Supervisor 50%
• Permissiveness 50%
• Flexible Routing 50%

Computer Science

• Resource Allocation 100%
• Petri Net 100%
• Deadlock 100%
• Experimental Result 50%
• Multiple Resource 50%
• Mixed Integer Programming 50%
• Iterative Algorithm 50%
• Liveness 50%