{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T17:42:12Z","timestamp":1648834932410},"reference-count":49,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMA J Math Control Info"],"DOI":"10.1093\/imamci\/dnw043","type":"journal-article","created":{"date-parts":[[2016,8,7]],"date-time":"2016-08-07T00:08:55Z","timestamp":1470528535000},"page":"dnw043","source":"Crossref","is-referenced-by-count":1,"title":["On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places"],"prefix":"10.1093","author":[{"given":"Xiuyan","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Murat","family":"Uzam","sequence":"additional","affiliation":[]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Naiqi","family":"Wu","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"2016080617084725000_dnw043v1.1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-61363-3_4","article-title":"On liveness and controlled siphons in Petri nets","volume":"1091","author":"Barkaoui,","year":"1996","journal-title":"Lect. Notes Comput. Sci.,"},{"key":"2016080617084725000_dnw043v1.2","doi-asserted-by":"crossref","unstructured":"Cassandras, C. G. & Lafortune, S. (2008) Introduction to Discrete Event Systems. New York: Springer.","DOI":"10.1007\/978-0-387-68612-7"},{"key":"2016080617084725000_dnw043v1.3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/j.ins.2015.08.016","article-title":"A novel method for deadlock prevention of AMS by using resource-oriented Petri nets","volume":"363","author":"Chen,","year":"2016","journal-title":"Inform. Sciences"},{"key":"2016080617084725000_dnw043v1.4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.automatica.2011.01.070","article-title":"Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems","volume":"47","author":"Chen,","year":"2011","journal-title":"Automatica,"},{"key":"2016080617084725000_dnw043v1.5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"2016080617084725000_dnw043v1.6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"2016080617084725000_dnw043v1.7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"2016080617084725000_dnw043v1.8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"2016080617084725000_dnw043v1.9","doi-asserted-by":"crossref","unstructured":"Chen, Y. F. , Li, Z. W. , Wu, N. Q. , & Zhou, M. C. (2016) Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs. IEEE Trans. Syst. Man Cybern. Syst., doi:10.1109\/TSMC.2016.2521833.","DOI":"10.1109\/TSMC.2016.2521833"},{"key":"2016080617084725000_dnw043v1.10","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"2016080617084725000_dnw043v1.11","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2016080617084725000_dnw043v1.12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TRA.2002.807555","article-title":"Design of a live and maximally permissive Petri net controller using the theory of regions","volume":"19","author":"Ghaffari,","year":"2003","journal-title":"IEEE Trans. Robot. Autom.,"},{"key":"2016080617084725000_dnw043v1.13","unstructured":"Hr\u00faz, B. & Zhou, M. C. (2007) Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools. London: Springer."},{"key":"2016080617084725000_dnw043v1.14","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s00170-007-1110-0","article-title":"An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems","volume":"38","author":"Hu,","year":"2008","journal-title":"Int. J. Adv. Manuf. Tech.,"},{"key":"2016080617084725000_dnw043v1.15","first-page":"1248","article-title":"Design of a live and maximally permissive Petri net controller using the theory of regions","volume":"36","author":"Huang,","year":"2006","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.16","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"2016080617084725000_dnw043v1.17","doi-asserted-by":"publisher","DOI":"10.1080\/00207549408957073"},{"key":"2016080617084725000_dnw043v1.18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"2016080617084725000_dnw043v1.19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"2016080617084725000_dnw043v1.20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"2016080617084725000_dnw043v1.21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"2016080617084725000_dnw043v1.22","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSMCA.2011.2147308","article-title":"Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems","volume":"42","author":"Li,","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. C Appl. Rev.,"},{"key":"2016080617084725000_dnw043v1.23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"2016080617084725000_dnw043v1.24","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"2016080617084725000_dnw043v1.25","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20060468"},{"key":"2016080617084725000_dnw043v1.26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"2016080617084725000_dnw043v1.27","doi-asserted-by":"crossref","first-page":"1774","DOI":"10.1109\/TAC.2015.2389313","article-title":"Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints","volume":"60","author":"Ma,","year":"2015","journal-title":"IEEE Trans. Autom. Control,"},{"key":"2016080617084725000_dnw043v1.28","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"2016080617084725000_dnw043v1.29","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1109\/TSMCA.2009.2013189","article-title":"Combined siphon and marking generation for deadlock prevention in Petri nets","volume":"39","author":"Piroddi,","year":"2009","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.30","unstructured":"Tricas, F. (2003) Deadlock analysis, prevention and avoidance in sequential resource allocation systems. Ph.D. dissertation, Univ. Zaragoza, Zaragoza, Spain."},{"key":"2016080617084725000_dnw043v1.31","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions.","volume":"19","author":"Uzam,","year":"2002","journal-title":"Int. J. Adv. Manuf. Tech.,"},{"key":"2016080617084725000_dnw043v1.32","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"2016080617084725000_dnw043v1.33","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","article-title":"An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems","volume":"37","author":"Uzam,","year":"2007","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.34","doi-asserted-by":"crossref","first-page":"4634","DOI":"10.1080\/00207543.2015.1098785","article-title":"Think-global-act-locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets","volume":"54","author":"Uzam,","year":"2016","journal-title":"Int. J. Prod. Res.,"},{"key":"2016080617084725000_dnw043v1.35","doi-asserted-by":"crossref","unstructured":"Uzam, M. , Li, Z. W. , Gelen, G. , & Zakariyya, R. S. (2014) A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems. J. Intell. Manuf., doi:10.1007\/s10845-014-0938-z.","DOI":"10.1007\/s10845-014-0938-z"},{"key":"2016080617084725000_dnw043v1.36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11432-014-5239-9","article-title":"Macro liveness graph and liveness of $\\omega$ -independent unbounded nets","volume":"58","author":"Wang,","year":"2015","journal-title":"Sci. China Inform. Sci.,"},{"key":"2016080617084725000_dnw043v1.37","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.1109\/TSMCA.2011.2170419","article-title":"Controllability conditions of resultant siphons in a class of Petri nets","volume":"42","author":"Wang,","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"},{"key":"2016080617084725000_dnw043v1.39","doi-asserted-by":"crossref","unstructured":"Wang, S. G. , Zhou, M. C. , Gan, M. D. , You, D. , & Li, Y. (2015b) New reachability trees for unbounded Petri nets. IEEE International Conference on Robotics and Automation, Seattle, Washington, 3862\u20133867.","DOI":"10.1109\/ICRA.2015.7139737"},{"key":"2016080617084725000_dnw043v1.40","doi-asserted-by":"crossref","first-page":"932","DOI":"10.1109\/TSMCA.2012.2226878","article-title":"A new modified reachability tree approach and its applications to unbounded Petri nets","volume":"43","author":"Wang,","year":"2013","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"2016080617084725000_dnw043v1.42","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MRA.2015.2415047","article-title":"Short-term scheduling of crude-oil operations: enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach","volume":"22","author":"Wu,","year":"2015","journal-title":"IEEE Robot. Autom. Mag.,"},{"key":"2016080617084725000_dnw043v1.43","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1080\/17517575.2014.948936","article-title":"Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines","volume":"10","author":"Wu,","year":"2016","journal-title":"Enterp. Inf. Syst.,"},{"key":"2016080617084725000_dnw043v1.44","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSMCA.2008.2007947","article-title":"Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems","volume":"39","author":"Xing,","year":"2009","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.45","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/TSMCA.2010.2048898","article-title":"Resource-transition circuits and siphons for deadlock control of automated manufacturing systems","volume":"41","author":"Xing,","year":"2011","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.46","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"2016080617084725000_dnw043v1.47","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1109\/TSMC.2014.2373316","article-title":"Decentralized supervision of Petri nets with a coordinator","volume":"45","author":"Ye,","year":"2015","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum.,"},{"key":"2016080617084725000_dnw043v1.48","doi-asserted-by":"crossref","first-page":"2053","DOI":"10.1080\/00207179.2010.504785","article-title":"Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming","volume":"83","author":"Zhao,","year":"2010","journal-title":"Int. J. Control,"},{"key":"2016080617084725000_dnw043v1.49","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00366-008-0122-1","article-title":"A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models.","volume":"25","author":"Zhong,","year":"2009","journal-title":"Eng. Comput.,"}],"container-title":["IMA Journal of Mathematical Control and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/imamci\/article-pdf\/doi\/10.1093\/imamci\/dnw043\/8381240\/dnw043.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,25]],"date-time":"2017-08-25T00:35:05Z","timestamp":1503621305000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article-lookup\/doi\/10.1093\/imamci\/dnw043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,6]]},"references-count":49,"alternative-id":["10.1093\/imamci\/dnw043"],"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnw043","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"value":"0265-0754","type":"print"},{"value":"1471-6887","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,6]]}}}