This paper proposes a systematic approach for the design of a supervisory controller for discrete event systems (DES) and their ladder logic diagrams (LLD). The method is based on Petri nets, which is used for modeling the systems. It involves, defining the control policy and simplifying it by using Espresso software to form the compiled controller by adding inhibiting and enabling arcs to the original model and then the method is used to drive structured ladder logic code. A design example is presented to clarify the full procedure.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
Ramadge PJ, Wonham WM (1987) Supervisory control of discrete event process. SIAM J Control Optim 25(1):206–230
Ramadge PJ, Wonham WM (1987) Modular feedback logic for discrete event systems. SIAM J Control Optim 25(5):1202–1218
Giua A (1996) Petri net techniques for supervisory control of discrete event systems. Proc. of 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, pp 1–21
Yamalidou E, Moody JO, Lemmon MD (1996) Feedback control of Petri net based on place invariants. Automatica 32(1):15–28
Brayton RK, Hachtel GD, McMullen CT, Sangiovani-Vincentelli AL (1984) Logic minimization algorithms for VLSI synthesis. Kluwer, Norwell, MA
Jones AH, Li YM, Kenway SB (2000) Edict supervisory control of discrete event systems. UKACC International Conference on Control, Cambridge, UK
About this article
Cite this article
Cansever, G., Kucukdemiral, I.B. A new approach to supervisor design with sequential control Petri-net using minimization technique for discrete event system. Int J Adv Manuf Technol 29, 1267–1277 (2006). https://doi.org/10.1007/s00170-005-0010-4
- Discrete event system
- Minimization technique
- Multi level logic conversion
- Programmable logic controller
- Sequential control Petri-net
- Supervisor design