Skip to main content
SpringerLink
Log in

Asynchronous implementation of discrete event controllers based on safe automation Petri nets

  • ORIGINAL ARTICLE
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

In this paper, a new method is proposed for digital hardware implementation of Petri net-based specifications. The purpose of this paper is to introduce a new discrete event control system paradigm, where the control system is modeled with extended Petri nets and implemented as an asynchronous controller using circuit elements. The applicability of the proposed method is demonstrated by an asynchronous implementation of a Petri net-based discrete event control system (DECS) for an experimental manufacturing system using a Xilinx field programmable gate array (FPGA). Unlike microprocessor, microcontroller or programmable logic controller (PLC)-based software implementations or hardware-based synchronous implementations, the implementation method used in this paper is asynchronous and based on hardware offering very high speed to control fast plants at low cost. This paper is expected to serve as a guideline to show how to obtain very high speed, concurrent and asynchronous Petri net-based controllers.

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. Uzam M (1998) Petri-Net-based supervisory control of discrete event systems and their ladder logic diagram implementations. PhD Dissertation, The University of Salford, UK, 395 pages

  2. Murata T (1989) Petri nets: properties, analysis and application. Proc of IEEE 77(4):541–579 DOI 10.1109/5.24143

    Article  Google Scholar 

  3. Hendry DC (1994) Heterogeneous Petri net methodology for design of complex controllers. IEE Proc Comput Digt Tech 141(5):293–297 DOI 10.1049/ip-cdt:19941270

    Article  Google Scholar 

  4. Stefano AD, Mirabella O (1994) A fast Petri-net-based sequence controller implemented on a DSP. Int J of Adv Manuf Tech 9:375–381 DOI 10.1007/BF01748482

    Article  Google Scholar 

  5. Zhou MC, DiCesare F, Rudolph D (1992) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. Automatica 28(6):1199–1208 DOI 10.1016/0005

    Article  MATH  MathSciNet  Google Scholar 

  6. Zhou MC, Twiss E (1998) Design of industrial automated systems via relay ladder logic programming and Petri nets. IEEE Trans. on Systems, Man, and Cybernetics 28(1):137–150 DOI 10.1109/5326.661096

    Article  Google Scholar 

  7. Peng SS, Zhou MC (2003) Sensor-based stage Petri net modeling of PLC logic programs for discrete-event control design. Int J Prod Res 41(3):629–644 DOI 10.1080/0020754021000042364

    Article  MATH  Google Scholar 

  8. Peng S-S, Zhou MC (2004) Ladder diagram and Petri net based discrete-event control design methods. IEEE Trans. on Systems, Man, and Cybernetic-Part C 34(4):523–531

    Article  MathSciNet  Google Scholar 

  9. Uzam M, Jones AH (1998) Discrete event control system design using automation Petri nets and their ladder diagram implementation. Int J of Adv Manuf Tech 14(10):716–728 DOI 10.1007/BF01438224

    Article  Google Scholar 

  10. Yakovlev AV, Koelmans AB (1998) Petri nets and digital hardware design. In: Reisig W, Rozenberg G (eds) LNCS, Lectures on Petri Nets II: Applications, Advances in Petri Nets. Springer, Heidelberg, pp 154–236.

  11. Chang N, Kwon WH, Park J (1998) Hardware implementation of real-time Petri-net-based controllers. Control Eng Pract 6(7):889–895 DOI: 10.1016/S0967

    Article  Google Scholar 

  12. Bulanch S, Brauchle A, Pfleiderer H-J, Kucerovsky Z (2002) Design and implementation of discrete event control systems: a Petri net based hardware approach. Discrete Event Dyn Syst 12(3):287–309

    Article  MathSciNet  Google Scholar 

  13. Varshavsky V, Kishinevsky M, Marakhovsky V, Peschansky V, Rosenblum R, Taubin A, Tzirlin B (1990) Self-timed control of concurrent processes. In: Varshavsky, VI (ed), Kluwer, Dordretch

  14. Hollaar LA (1982) Direct implementation of asynchronous control circuits. IEEE Trans Comput C-31(12):1133–1141 DOI 10.1109/TC.1982.1675937

    Article  Google Scholar 

  15. Varshavsky V, Marakhowsky V (1996) Hardware support for discrete event coordination. In: Proc. of Int. workshop on discrete event systems (WODES’96), Edinburgh, UK, August 1996, (pp. 332–340)

  16. Varshavsky V, Marakhowsky V (1996) Asynchronous control device design by net model behaviour simulation. LNCS, Vol. 1091: Proc. of the 17th Int. conf. on applications and theory of Petri nets, Osaka, Springer, (pp. 497–515)

  17. Uzam M, Yalçın MK, Avcı M (2001) Digital hardware implementation of Petri net based specifications: direct translation from safe automation Petri nets to circuit elements. In: Proceedings of the international workshop on discrete event systems design, Przytok near Zielona Gora, Poland (pp. 25–33)

  18. Uzam M, Koç İB, Gelen G, Aksebzeci BH (2005) Asynchronous implementation of a Petri net based discrete event control system using a Xilinx FPGA. In: Proceedings of the 35th Inter. Conf. on computers and industrial engineering, Istanbul, Turkey, June 20–22, vol. II, (pp. 2025–2030)

  19. Xilinx (2003) Spartan-II 2.5V FPGA Family: Complete data sheet, DS001–1, http://www.xilinx.com/

  20. Uzam M (2006) General purpose, cheap and flexible contact debouncer. Electron World 112(1848):41–48

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Niğde University, Mühendislik-Mimarlık Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü, 51200, Niğde, Turkey

    Murat Uzam, İ. Burak Koç, Gökhan Gelen & B. Hakan Aksebzeci

Authors
  1. Murat Uzam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. İ. Burak Koç
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gökhan Gelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. B. Hakan Aksebzeci
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Murat Uzam.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Uzam, M., Koç, İ.B., Gelen, G. et al. Asynchronous implementation of discrete event controllers based on safe automation Petri nets. Int J Adv Manuf Technol 41, 595–612 (2009). https://doi.org/10.1007/s00170-008-1497-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-008-1497-2

Keywords

Search

Navigation