Abstract
This paper addresses the problem of forbidden states in both safe and non-safe Petri net (PN)
models. An efficient control synthesis method is presented. Logical control conditions or predicates are
associated to controllable transitions with intent to prevent the model from reaching any forbidden states.
A simplification technique using over-states is then employed to minimize the final controls. Finally, the
problem of control optimality is raised and answered.
