Skip to main content
SpringerLink
Log in

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

  • Original Article
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

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, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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. 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. 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. 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. Brayton RK, Hachtel GD, McMullen CT, Sangiovani-Vincentelli AL (1984) Logic minimization algorithms for VLSI synthesis. Kluwer, Norwell, MA

    MATH  Google Scholar 

  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

Authors and Affiliations

  1. Department of Electrical Engineering, Faculty of Electrical-Electronics, Yildiz Technical University, 34349, Besiktas, Istanbul, Turkey

    G. Cansever & I. B. Kucukdemiral

Authors
  1. G. Cansever
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. B. Kucukdemiral
    View author publications

    You can also search for this author in PubMed Google Scholar

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

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-005-0010-4

Keywords

Search

Navigation