An integrated control method for designing non-blocking supervisors using Petri nets

An integrated control method for designing non-blocking supervisors using Petri nets

Blog Article

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 Short-term wind power combination forecasting method based on wind speed correction of numerical weather prediction computational complexity.First, an extraction algorithm of liveness requirement constraints is presented according to the concept of resource partial orders.By considering the different resource requirements of various processes, monitors are added for the uncontrolled G -system on the basis of those precise linear inequality constraints.

Afterward, we explore an iterative control policy by utilizing the traditional mathematical programming method, which can ensure the liveness of the resultant controlled system.Comparing with the existing deadlock control policies reported in the literature, the proposed method can achieve a non-blocking controlled G -system with Competences of the emergency nurse and the product of nursing care: an integrative review simple structure and high computational efficiency.Finally, a benchmark G -system example is used to substantiate the efficiency of the new method.