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