Control Synthesis for Manufacturing Systems Using Non-Safe Petri Nets
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.
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.