{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T15:43:35Z","timestamp":1785858215428,"version":"3.56.0"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61773206"],"award-info":[{"award-number":["61773206"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province of China","doi-asserted-by":"publisher","award":["BK20170131"],"award-info":[{"award-number":["BK20170131"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Jiangsu Overseas Visiting Scholar Program for University Prominent Young and Middle-Aged Teachers and Presidents"},{"name":"Ministry of Science and Higher Education of the Russian Federation as part of World-class Research Center Program: Advanced Digital Technologies","award":["075-15-2020-903"],"award-info":[{"award-number":["075-15-2020-903"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1109\/tcst.2021.3123963","type":"journal-article","created":{"date-parts":[[2022,1,4]],"date-time":"2022-01-04T20:27:40Z","timestamp":1641328060000},"page":"1876-1887","source":"Crossref","is-referenced-by-count":33,"title":["Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets"],"prefix":"10.1109","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2020-5479","authenticated-orcid":false,"given":"Bo","family":"Huang","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2721979"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3014078"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2350031"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2732442"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2926758"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2876343"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/70.282537"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0278-6125(05)80009-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/66.705373"},{"key":"ref10","article-title":"An intelligent agent-based architecture for flexible manufacturing systems having error recovery capability","author":"Mej\u00eda","year":"2003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2467165"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2017.01.045"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2019.03.004"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(01)00124-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2351375"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2017.04.034"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2006.10.023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2376471"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2329-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-012-3958-x"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/12.926158"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref23","first-page":"668","article-title":"SetA: An efficient BDD-based heuristic search algorithm","volume-title":"Proc. AAAI Conf. Artif. Intell.","author":"Jensen"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/c2009-0-16511-x"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.10.001"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-95891-8_53"},{"key":"ref27","volume-title":"Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools","author":"Hr\u00faz","year":"2007"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/9781119619727"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1080\/00207540600698878"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2415765"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2018.8361322"},{"key":"ref32","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2010"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2010.08.006"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2014.02.010"},{"key":"ref35","volume-title":"BuDDy: Binary decision diagram package release 2.2","author":"Lind-Nielsen","year":"2020"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2335052"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003096"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003477"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2884316"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911492"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.057"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/9861658\/09669185.pdf?arnumber=9669185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T22:48:31Z","timestamp":1705186111000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9669185\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":41,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2021.3123963","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"},{"value":"2374-0159","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9]]}}}