Supervisor synthesis for Petri nets with unobservable and uncontrollable transitions

Abstract

A controller synthesis method based on integer linear programming is proposed to solve the forbidden state problem of discrete event systems with both unobservable and uncontrollable events. Firstly, according to the structural characteristics of Petri net, a set of linear constraints for all unobservable transitions and uncontrollable transitions are constructed, and the given constraints were abstracted into integer linear programming problems. Secondly, the allowable linear constraint is obtained by resolving the integer linear programming problem. Finally, the controller is designed based on library invariants and the transformed allowable linear constraints are integrated into Petri net. The simulation results indicate that the suggested technique is uncomplicated and efficient, and can ensure that the system does not enter forbidden state, which has theoretical guiding significance for discrete event system monitoring.