An Improved Approach to Remove Redundant Monitors from Liveness-Enforcing Petri Net Supervisor

The identification and elimination of redundant monitors is an interesting problem for design of liveness-enforcing Petri net supervisor. In this paper, a redundant monitor removal algorithm based on the sort of strict minimal siphons is proposed. Firstly, the related deadlock prevention policies and redundant monitor removal theorems are briefly introduced. Secondly, according to the properties of strict minimal siphon, a redundant monitor removal algorithm is presented. Finally, an FMS model is used to illustrate the proposed approach. Compared with other exist redundant monitor removal policies, this approach can easily find and remove the maximal number of redundant monitors in the supervisor.