{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:46:13Z","timestamp":1649169973084},"reference-count":37,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMA J Math Control Info"],"DOI":"10.1093\/imamci\/dnw037","type":"journal-article","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T01:29:22Z","timestamp":1469669362000},"page":"dnw037","source":"Crossref","is-referenced-by-count":0,"title":["Deadlock Control Based on Capacity Restrictions for FMS"],"prefix":"10.1093","author":[{"given":"Jinwei","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yamiao","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Che","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,7,27]]},"reference":[{"key":"2016072718291258000_dnw037v1.1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"2016072718291258000_dnw037v1.2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_22"},{"key":"2016072718291258000_dnw037v1.3","first-page":"57","article-title":"On the liveness and controlled siphons in Petri nets.","volume-title":"Proceedings of the 17th International Conference on Application and Theory of Petri nets. LNCS","volume":"vol. 1091.","author":"Barkaoui,","year":"1996"},{"key":"2016072718291258000_dnw037v1.4","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl019"},{"key":"2016072718291258000_dnw037v1.5","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070130"},{"key":"2016072718291258000_dnw037v1.6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"2016072718291258000_dnw037v1.7","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"2016072718291258000_dnw037v1.8","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2016072718291258000_dnw037v1.9","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.801048"},{"key":"2016072718291258000_dnw037v1.10","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"2016072718291258000_dnw037v1.11","doi-asserted-by":"publisher","DOI":"10.1109\/70.282544"},{"key":"2016072718291258000_dnw037v1.12","unstructured":"Huang, Y. S. , Jeng, M. D. , Xie, X. L. & Chung, S. L. (2001a) A deadlock prevention policy for flexible manufacturary systems using siphons. Proceedings of the IEEE International Conference on Robotics and Automation. ( Kwon W. H. & Lee B. H. eds) Seoul, Korea: IEEE, pp. 541\u2013546."},{"key":"2016072718291258000_dnw037v1.13","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"2016072718291258000_dnw037v1.14","doi-asserted-by":"crossref","first-page":"2152","DOI":"10.1109\/TSMCA.2006.878953","article-title":"Siphon-based deadlock prevention policy for flexible manufacturing systems.","volume":"36","author":"Huang,","year":"2006","journal-title":"IEEE Trans. Syst. Man Cybern. Part A,"},{"key":"2016072718291258000_dnw037v1.15","doi-asserted-by":"publisher","DOI":"10.1109\/3468.769759"},{"key":"2016072718291258000_dnw037v1.16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"2016072718291258000_dnw037v1.17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"2016072718291258000_dnw037v1.18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"2016072718291258000_dnw037v1.19","unstructured":"Li, Z. W. & Zhou, M. C. (2009) Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Berlin: Springer."},{"key":"2016072718291258000_dnw037v1.20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"2016072718291258000_dnw037v1.21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"2016072718291258000_dnw037v1.22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"2016072718291258000_dnw037v1.23","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/j.ins.2015.08.037","article-title":"\u201cA survey of siphons in Petri nets\u201d,","volume":"363","author":"Liu,","year":"2015","journal-title":"Inf. Sci.,"},{"key":"2016072718291258000_dnw037v1.24","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2013.827257"},{"key":"2016072718291258000_dnw037v1.25","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"2016072718291258000_dnw037v1.26","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"2016072718291258000_dnw037v1.27","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"\u201cAn optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions\u201d,","volume":"19","author":"Uzam,","year":"2002","journal-title":"Int. J. Adv. Manuf. Tech.,"},{"key":"2016072718291258000_dnw037v1.28","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"2016072718291258000_dnw037v1.29","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"2016072718291258000_dnw037v1.30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2406336.2406338","article-title":"\u201cDesign of liveness-enforcing supervisors for S $^3$ PR based on complementary places\u201d,","volume":"12","author":"Wang,","year":"2013","journal-title":"ACM Trans. Embed. Comput. Syst.,"},{"key":"2016072718291258000_dnw037v1.31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2059698"},{"key":"2016072718291258000_dnw037v1.32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170419"},{"key":"2016072718291258000_dnw037v1.33","unstructured":"Wu, N. Q. & Zhou, M. C. (2010) System Modeling and Control with Resource-Oriented Petri Nets. NY: CRC Press."},{"key":"2016072718291258000_dnw037v1.34","doi-asserted-by":"publisher","DOI":"10.1109\/70.105378"},{"key":"2016072718291258000_dnw037v1.35","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"2016072718291258000_dnw037v1.36","doi-asserted-by":"publisher","DOI":"10.1080\/00207720903171779"},{"key":"2016072718291258000_dnw037v1.37","doi-asserted-by":"crossref","unstructured":"Zouari, B. & Barkaoui, K. (2003) \u201dParameterized supervisor synthesis for a modular class of discrete event systems\u201d, Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics ( Inoue H. & Zhou M. C. eds), Washington, DC: IEEE, pp. 1874\u20131879.","DOI":"10.1109\/ICSMC.2003.1244684"}],"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\/dnw037\/8381201\/dnw037.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,25]],"date-time":"2017-08-25T00:35:03Z","timestamp":1503621303000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article-lookup\/doi\/10.1093\/imamci\/dnw037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,27]]},"references-count":37,"alternative-id":["10.1093\/imamci\/dnw037"],"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnw037","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"value":"0265-0754","type":"print"},{"value":"1471-6887","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,27]]}}}