Skip to main content

A new approach to supervisor design with sequential control Petri-net using minimization technique for discrete event system

Abstract

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.

References

  1. 1.

    Ramadge PJ, Wonham WM (1987) Supervisory control of discrete event process. SIAM J Control Optim 25(1):206–230

    Article  MATH  MathSciNet  Google Scholar 

  2. 2.

    Ramadge PJ, Wonham WM (1987) Modular feedback logic for discrete event systems. SIAM J Control Optim 25(5):1202–1218

    Article  MathSciNet  Google Scholar 

  3. 3.

    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

  4. 4.

    Yamalidou E, Moody JO, Lemmon MD (1996) Feedback control of Petri net based on place invariants. Automatica 32(1):15–28

    Article  MathSciNet  MATH  Google Scholar 

  5. 5.

    Brayton RK, Hachtel GD, McMullen CT, Sangiovani-Vincentelli AL (1984) Logic minimization algorithms for VLSI synthesis. Kluwer, Norwell, MA

    MATH  Google Scholar 

  6. 6.

    Jones AH, Li YM, Kenway SB (2000) Edict supervisory control of discrete event systems. UKACC International Conference on Control, Cambridge, UK

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to I. B. Kucukdemiral.

Rights and permissions

Reprints and Permissions

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

Download citation

Keywords

  • Discrete event system
  • Minimization technique
  • Multi level logic conversion
  • Programmable logic controller
  • Sequential control Petri-net
  • Supervisor design