Control Synthesis for Manufacturing Systems Using Non-Safe Petri Nets
- Authors
-
-
A. I. Vasiliu
Laboratoire Grenoble Image Parole Signal Automatique (GIPSA Lab), France
-
A. Dideban
Semnan University, Iran
-
H. Alla
Laboratoire Grenoble Image Parole Signal Automatique (GIPSA Lab), France
-
- 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.
- References
- Downloads
- Published
- 2009-06-30
- Issue
- Vol. 11 No. 2 (2009)
- Section
- Articles