This article presents an efficient integrated approach on designing a non-blocking supervisor for the most general classes of Petri nets. called G -systems that allow multiple resource acquisitions. This work mainly focuses on developing a deadlock prevention policy with a polynomial computational complexity. First. https://www.alarecre.com/