An integrated control method for designing non-blocking supervisors using Petri nets
This article presents an efficient integrated approach on Incense 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, an extraction algorithm of