{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:03:13Z","timestamp":1784300593420,"version":"3.55.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2013,4,4]],"date-time":"2013-04-04T00:00:00Z","timestamp":1365033600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Neural Comput & Applic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s00521-013-1391-1","type":"journal-article","created":{"date-parts":[[2013,4,3]],"date-time":"2013-04-03T07:44:33Z","timestamp":1364975073000},"page":"1601-1612","source":"Crossref","is-referenced-by-count":7,"title":["Petri net-based modeling and control of the multi-elevator systems"],"prefix":"10.1007","volume":"24","author":[{"given":"Farooq","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilyas","family":"Fakhir","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sher Afzal","family":"Khan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yaser Daanial","family":"Khan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,4,4]]},"reference":[{"key":"1391_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York","edition":"2"},{"key":"1391_CR2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81\u201398","journal-title":"Proc IEEE"},{"key":"1391_CR3","unstructured":"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\u2013700"},{"issue":"1","key":"1391_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4304\/jcp.4.1.45-52","volume":"4","author":"S Yang","year":"2009","unstructured":"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\u201352","journal-title":"J Comput"},{"key":"1391_CR5","first-page":"433","volume":"4","author":"A Alvaro","year":"2010","unstructured":"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\u2013444","journal-title":"ABCM Symp Ser Mechatron"},{"key":"1391_CR6","unstructured":"Sorsa J, Hakonen H, Siikonen ML (2005) Elevators selection with destination control system. Elevators Technol"},{"issue":"3","key":"1391_CR7","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/3468.668960","volume":"28","author":"CB Kim","year":"1998","unstructured":"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\u2013287","journal-title":"IEEE Trans Syst Man Cybern Part A"},{"key":"1391_CR8","unstructured":"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"},{"key":"1391_CR9","unstructured":"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"},{"key":"1391_CR10","doi-asserted-by":"crossref","unstructured":"Nikovski D, Brand M (2004) Exact calculation of expected waiting times for group elevator control. Mitsubishi electric research laboratories","DOI":"10.1109\/TAC.2004.835583"},{"key":"1391_CR11","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/PEITS.2008.44"},{"key":"1391_CR12","volume-title":"Petri nets, an introduction","author":"W Reisig","year":"1991","unstructured":"Reisig W (1991) Petri nets, an introduction, 2nd edn. Springer, Berlin","edition":"2"},{"key":"1391_CR13","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs"},{"key":"1391_CR14","doi-asserted-by":"crossref","first-page":"5249","DOI":"10.1016\/j.ins.2011.07.034","volume":"181","author":"F Ahmad","year":"2011","unstructured":"Ahmad F, Huang HJ, Wang XL (2011) Analysis of the Petri net model of parallel manufacturing processes with shared resources. Inf Sci 181:5249\u20135266","journal-title":"Inf Sci"},{"issue":"7","key":"1391_CR15","doi-asserted-by":"crossref","first-page":"5162","DOI":"10.1016\/j.apm.2012.10.047","volume":"37","author":"F Ahmad","year":"2013","unstructured":"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\u20135170","journal-title":"Appl Math Model"},{"key":"1391_CR16","first-page":"31","volume":"4","author":"C-J Tasi","year":"1992","unstructured":"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\u201338","journal-title":"2nd Int Conf Automat"},{"key":"1391_CR17","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/ROBOT.1996.503594","volume":"1","author":"C-H Lin","year":"1996","unstructured":"Lin C-H, Fu L-C (1996) Petri net based dynamic scheduling of an elevator system. IEEE Int Conf Robotics Automat 1:192\u2013199","journal-title":"IEEE Int Conf Robotics Automat"},{"key":"1391_CR18","unstructured":"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\u201415th Brazilian Congress of Mechanical Engineering, pp 22\u201326"},{"key":"1391_CR19","unstructured":"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"},{"key":"1391_CR20","unstructured":"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"},{"issue":"2","key":"1391_CR21","first-page":"121","volume":"2","author":"YC Cho","year":"2000","unstructured":"Cho YC, Gagov Z, Kwon WH (2000) Timed Petri net based approach for elevator group controls. Trans Control Autom Syst Eng 2(2):121\u2013130","journal-title":"Trans Control Autom Syst Eng"},{"key":"1391_CR22","doi-asserted-by":"crossref","DOI":"10.1002\/9780470172865","volume-title":"Vertical transportation: elevators and escalators","author":"GR Strakosch","year":"1998","unstructured":"Strakosch GR (1998) Vertical transportation: elevators and escalators. Wiley, New York"},{"key":"1391_CR23","unstructured":"Barney G, dos Santos SM (1985) Elevator traffic analysis, design and control, 2nd edn. Institution of Engineering and Technology, England"},{"key":"1391_CR24","doi-asserted-by":"crossref","first-page":"1309","DOI":"10.1016\/j.engappai.2008.04.014","volume":"21","author":"DM Munoz","year":"2008","unstructured":"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\u20131320","journal-title":"Eng Appl Artif Intell"},{"key":"1391_CR25","doi-asserted-by":"crossref","unstructured":"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\u2013130","DOI":"10.1109\/CRV.2007.49"},{"key":"1391_CR26","unstructured":"Krogh BH (1987) Controlled Petri nets and maximally permissive feedback logic. Proceedings of the 25th Annual Allerton Conference. University of Illinois, Urbana, pp 317\u2013326"},{"key":"1391_CR27","unstructured":"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\u2013134"},{"issue":"1","key":"1391_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.camwa.2012.02.031","volume":"64","author":"F Ahmad","year":"2012","unstructured":"Ahmad F, Khan SA (2012) Module-based architecture for periodic job-shop scheduling problem. Comput Math Appl 64(1):1\u201310","journal-title":"Comput Math Appl"},{"key":"1391_CR29","volume-title":"Petri net of systems engineering: a guide to modeling, verification and applications","author":"C Girault","year":"2010","unstructured":"Girault C, Valk R (2010) Petri net of systems engineering: a guide to modeling, verification and applications, 2nd edn. Springer, Berlin","edition":"2"},{"key":"1391_CR30","first-page":"507","volume":"26","author":"F Capkovic","year":"2007","unstructured":"Capkovic F (2007) Modelling analysing and control of interactions among agents in MAS. Comput Inf 26:507\u2013541","journal-title":"Comput Inf"},{"key":"1391_CR31","unstructured":"Petri Net Toolbox for MATLAB. http:\/\/www.ac.tuiasi.ro\/pntool\/"},{"key":"1391_CR32","unstructured":"PIPE. http:\/\/pipe2.sourceforge.net\/"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-013-1391-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00521-013-1391-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-013-1391-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T18:02:58Z","timestamp":1562868178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00521-013-1391-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,4]]},"references-count":32,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["1391"],"URL":"https:\/\/doi.org\/10.1007\/s00521-013-1391-1","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"value":"0941-0643","type":"print"},{"value":"1433-3058","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,4]]}}}