Synthesis of Feedback Control Logic for Safe and Controlled Petri Nets

This paper addresses the problem of forbidden states of safe Petri Net (PN) with uncontrollable transitions in discrete - event systems. It is possible to use conditions or predicates to prevent the forbidden states. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. In this paper, a systematic method is presented to calculate simpler conditions for the controllable transitions. This method is applicable for safe Petri nets. Using this method, we can construct a maximally permissive controller.

Keywords:

controller , Petri net , forbidden states , Deadlock state , linear constraints