Can I read 1 s2.0 S0360835209001363 Main on EtoBox?

1 s2.0 S0360835209001363 Main by Muhammad Bilal is a document available to read on EtoBox.

What is 1 s2.0 S0360835209001363 Main about?

This paper addresses the deadlock prevention problem in conjunctive/disjunctive resource allocation systems using an improved siphon-based liveness characterization for Petri nets. It proposes a mixed integer programming (MIP) based policy that avoids explicit enumeration of siphons and reachable states, implemented through an iterative algorithm. The study demonstrates both local and global deadlock prevention strategies, validating their effectiveness and efficiency through theoretical and experimental re

Author

Muhammad Bilal

Language

EN