Skip to main content
SpringerLink
Log in

Petri net-based modeling and control of the multi-elevator systems

  • Original Article
  • Published:
Neural Computing and Applications Aims and scope Submit manuscript

Abstract

This paper extends the Petri net (PN)-based modeling of multi-elevator control system for M floors and N elevators which provides the generic PN model of the system. A new class of Petri nets is introduced known as elevator control Petri net (ECPN) for such purpose. The model of the multi-elevator control system is developed through components, whereas the model of each elevator is defined as a component. The interaction between these elevators is implemented through control places (CPs) of its PN model. A bottom-up modeling approach is adopted by adding the CPs and using the arc-addition operator to the single-elevator modules. Mixture of collective and selective approaches, that is, collective-selective/up–down approach, is used for the control. The proposed Petri net class in the paper resolves the bunching problem among multiple elevators. The bunching problem is tackled by introducing the request places with the capacity of one in the ECPN. A case study of ECPN is also presented by taking the two elevators and four-floor model, and it is analyzed by the incidence matrix–based invariant method.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York

    Book  MATH  Google Scholar 

  2. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81–98

    Article  Google Scholar 

  3. Sandor M, ichi Ken A, Nakagawa M, Sudo T (2008) Recent trends in elevator group control systems. In: The 23rd International Technical Conference on Circuits/Syst, Computers and Communications (ITC-CSCC 2008), pp 697–700

  4. Yang S, Tai J, Shao C (2009) Dynamic partition of elevator group control system with destination floor guidance in up-peak traffic. J Comput 4(1):45–52

    Article  Google Scholar 

  5. Alvaro A, Daniel M, de Carvalho GC, Llanos CH (2010) Modeling of an elevator group control system using programmable logic control and destination control system. ABCM Symp Ser Mechatron 4:433–444

    Google Scholar 

  6. Sorsa J, Hakonen H, Siikonen ML (2005) Elevators selection with destination control system. Elevators Technol

  7. Kim CB, Seong KA, Lee-Kwang H, Kim JO (1998) Design and implementation of a fuzzy elevator group control system. IEEE Trans Syst Man Cybern Part A 28(3):277–287

    Article  Google Scholar 

  8. Liu J, Liu Y (2007) Ant colony algorithm and fuzzy neural network based intelligent dispatching algorithm of an elevator group control system. IEEE Int Conf Control Autom

  9. Ikeda K, Suzuki H, Kita H, Markon S (2008) Examplar-based control of multi-car elevators and its multiple-objective optimization using genetic algorithm. Conference system computers and communication

  10. Nikovski D, Brand M (2004) Exact calculation of expected waiting times for group elevator control. Mitsubishi electric research laboratories

  11. Yang X, Zhu Q, Xu H (2008) Design and practice of an elevator control system based on PLC. Workshop on Power Electronics and Intelligent Transportation System

  12. Reisig W (1991) Petri nets, an introduction, 2nd edn. Springer, Berlin

    Google Scholar 

  13. Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs

    Google Scholar 

  14. Ahmad F, Huang HJ, Wang XL (2011) Analysis of the Petri net model of parallel manufacturing processes with shared resources. Inf Sci 181:5249–5266

    Article  Google Scholar 

  15. Ahmad F, Khan SA (2013) Specification and verification of safety properties along a crossing region in a railway network control. Appl Math Model 37(7):5162–5170

    Article  Google Scholar 

  16. Tasi C-J, Fu L-C, Hsu Y-J (1992) Modeling and simulation for flexible manufacturing systems using Petri net. 2nd Int Conf Automat 4:31–38

    Google Scholar 

  17. Lin C-H, Fu L-C (1996) Petri net based dynamic scheduling of an elevator system. IEEE Int Conf Robotics Automat 1:192–199

    Article  Google Scholar 

  18. Miyagi PE, Villani E, Gustin GDB, Maruyama N, Santos Filho DJ (1999) Petri net approach for modelling system integration in intelligent buildings. Presented at COBEM 99—15th Brazilian Congress of Mechanical Engineering, pp 22–26

  19. Ho Y-W, Fu L-C (2000) Dynamic scheduling approach to group control of elevator systems with learning ability. Proceedings of the 2000 IEEE International Conference on Robotics & Automation, San Francisco

  20. Huang Y-H, Fu L-C (1998) Dynamic scheduling of elevator systems over hybrid Petri net/rule modeling. IEEE International Conference on Robotics & Automation Leuven

  21. Cho YC, Gagov Z, Kwon WH (2000) Timed Petri net based approach for elevator group controls. Trans Control Autom Syst Eng 2(2):121–130

    Google Scholar 

  22. Strakosch GR (1998) Vertical transportation: elevators and escalators. Wiley, New York

    Book  Google Scholar 

  23. Barney G, dos Santos SM (1985) Elevator traffic analysis, design and control, 2nd edn. Institution of Engineering and Technology, England

  24. Munoz DM, Llanos CH, Ayala-Rincon M, van Els RH (2008) Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms. Eng Appl Artif Intell 21:1309–1320

    Article  Google Scholar 

  25. Kotb YT, Beauchemin SS, Barron JL (2007) Petri net-based cooperation in multi-agent systems. Fourth Canadian Conference on Computer and Robot Vision CRV 07, IEEE 2007, pp 123–130

  26. Krogh BH (1987) Controlled Petri nets and maximally permissive feedback logic. Proceedings of the 25th Annual Allerton Conference. University of Illinois, Urbana, pp 317–326

  27. Ichikawa A, Hiraishi K (1988) Analysis and control of discrete event systems represented by Petri nets. Discrete event systems: models and applications, (Varaiya P, Kurzhanski AB (eds)) Lecture notes in control and information sciences. Springer, New York, 103:115–134

  28. Ahmad F, Khan SA (2012) Module-based architecture for periodic job-shop scheduling problem. Comput Math Appl 64(1):1–10

    Article  MathSciNet  MATH  Google Scholar 

  29. Girault C, Valk R (2010) Petri net of systems engineering: a guide to modeling, verification and applications, 2nd edn. Springer, Berlin

    Google Scholar 

  30. Capkovic F (2007) Modelling analysing and control of interactions among agents in MAS. Comput Inf 26:507–541

    MathSciNet  MATH  Google Scholar 

  31. Petri Net Toolbox for MATLAB. http://www.ac.tuiasi.ro/pntool/

  32. PIPE. http://pipe2.sourceforge.net/

Download references

Author information

Authors and Affiliations

  1. Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan

    Farooq Ahmad & Yaser Daanial Khan

  2. Department of Computer Science, GC University, Lahore, Pakistan

    Ilyas Fakhir

  3. Department of Computer Science, Abdul Wali Khan University, Mardan, Pakistan

    Sher Afzal Khan & Yaser Daanial Khan

Authors
  1. Farooq Ahmad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ilyas Fakhir
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sher Afzal Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yaser Daanial Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Farooq Ahmad.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ahmad, F., Fakhir, I., Khan, S.A. et al. Petri net-based modeling and control of the multi-elevator systems. Neural Comput & Applic 24, 1601–1612 (2014). https://doi.org/10.1007/s00521-013-1391-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00521-013-1391-1

Keywords

Search

Navigation