{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:19:09Z","timestamp":1776442749795,"version":"3.51.2"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,7,12]],"date-time":"2014-07-12T00:00:00Z","timestamp":1405123200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10845-014-0938-z","type":"journal-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T19:14:28Z","timestamp":1405106068000},"page":"1111-1129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":96,"title":["A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems"],"prefix":"10.1007","volume":"27","author":[{"given":"Murat","family":"Uzam","sequence":"first","affiliation":[]},{"given":"ZhiWu","family":"Li","sequence":"additional","affiliation":[]},{"given":"G\u00f6khan","family":"Gelen","sequence":"additional","affiliation":[]},{"given":"Rabiu Saleh","family":"Zakariyya","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"938_CR1","doi-asserted-by":"publisher","unstructured":"Chandrasekaran, S., Somnath, N., & Sreenivas, R. S. (2014). A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing and service systems. Journal of Intelligent Manufacturing. doi: 10.1007\/s10845-014-0888-5 .","DOI":"10.1007\/s10845-014-0888-5"},{"key":"938_CR2","doi-asserted-by":"publisher","unstructured":"Chao, Y., & Pan, Y. L. (2013). Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems. Journal of Intelligent Manufacturing. doi: 10.1007\/s10845-013-0757-7 .","DOI":"10.1007\/s10845-013-0757-7"},{"issue":"2","key":"938_CR3","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1109\/TASE.2010.2060332","volume":"8","author":"YF Chen","year":"2011","unstructured":"Chen, Y. F., Li, Z. W., Khalgui, M., & Mosbahi, O. (2011). Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering, 8(2), 374\u2013393.","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"5","key":"938_CR4","doi-asserted-by":"crossref","first-page":"1028","DOI":"10.1016\/j.automatica.2011.01.070","volume":"47","author":"YF Chen","year":"2011","unstructured":"Chen, Y. F., & Li, Z. W. (2011). Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica, 47(5), 1028\u20131034.","journal-title":"Automatica"},{"issue":"10","key":"938_CR5","doi-asserted-by":"crossref","first-page":"2647","DOI":"10.1016\/j.automatica.2012.06.068","volume":"48","author":"YF Chen","year":"2012","unstructured":"Chen, Y. F., & Li, Z. W. (2012). On structural minimality of optimal supervisors for flexible manufacturing systems. Automatica, 48(10), 2647\u20132656.","journal-title":"Automatica"},{"issue":"2","key":"938_CR6","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1109\/TSMCA.2012.2202108","volume":"43","author":"YF Chen","year":"2013","unstructured":"Chen, Y. F., Li, Z. W., & Al-Ahmari, A. (2013). Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(2), 252\u2013265.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"key":"938_CR7","doi-asserted-by":"crossref","unstructured":"Chen, Y. F., Li, Z. W., & Barkaoui, K. (2014a). Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. Information Sciences, 256, 74\u201390.","DOI":"10.1016\/j.ins.2013.07.021"},{"key":"938_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Y. F., Li, Z. W., & Zhou, M. C. (2014b). Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach. IEEE Transactions on Automation Science and Engineering, 11(2), 549\u2013563.","DOI":"10.1109\/TASE.2013.2241762"},{"issue":"2","key":"938_CR9","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J. M., & Martinez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(2), 173\u2013184.","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"2","key":"938_CR10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A Ghaffari","year":"2003","unstructured":"Ghaffari, A., Nidhal, N., & Xie, X. L. (2003). Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19(2), 137\u2013142.","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"1","key":"938_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1080\/0951192X.2013.800233","volume":"27","author":"YF Hou","year":"2014","unstructured":"Hou, Y. F., Li, Z. W., Zhao, M., & Liu, D. (2014). Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets. International Journal of Computer Integrated Manufacturing, 27(1), 85\u2013102.","journal-title":"International Journal of Computer Integrated Manufacturing"},{"issue":"4","key":"938_CR12","doi-asserted-by":"crossref","first-page":"1168","DOI":"10.1016\/j.cie.2009.05.006","volume":"57","author":"HS Hu","year":"2009","unstructured":"Hu, H. S., & Li, Z. W. (2009). Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs. Computers & Industrial Engineering, 57(4), 1168\u20131181.","journal-title":"Computers & Industrial Engineering"},{"issue":"4","key":"938_CR13","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10845-009-0238-1","volume":"21","author":"HS Hu","year":"2010","unstructured":"Hu, H. S., & Li, Z. W. (2010). Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 21(4), 555\u2013567.","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"6","key":"938_CR14","doi-asserted-by":"crossref","first-page":"1248","DOI":"10.1109\/TSMCA.2006.878953","volume":"36","author":"YS Huang","year":"2006","unstructured":"Huang, Y. S., Jeng, M. D., Xie, X. L., & Chung, D. H. (2006). Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part A-Systems and Humans, 36(6), 1248\u20131256.","journal-title":"IEEE Transactions on System Man and Cybernetics Part A-Systems and Humans"},{"issue":"2","key":"938_CR15","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1109\/TSMCA.2011.2164241","volume":"42","author":"YS Huang","year":"2012","unstructured":"Huang, Y. S., Pan, Y. L., & Zhou, M. C. (2012). Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(2), 404\u2013415.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"key":"938_CR16","unstructured":"INA. (2003). Integrated net analyzer, a software tool for analysis of Petri nets, Version 2.2. Posted at URL: http:\/\/www.informatik.hu-berlin.de\/starke\/ina.html ."},{"issue":"6","key":"938_CR17","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.1007\/s10845-012-0647-4","volume":"24","author":"SY Li","year":"2013","unstructured":"Li, S. Y., An, A. M., Wang, Y., Wang, G., Hou, C. Q., & Cai, Y. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24(6), 1157\u20131173.","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"1","key":"938_CR18","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"ZW Li","year":"2004","unstructured":"Li, Z. W., & Zhou, M. C. (2004). Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part A: Systems and Humans, 34(1), 38\u201351.","journal-title":"IEEE Transactions on System Man and Cybernetics Part A: Systems and Humans"},{"issue":"4","key":"938_CR19","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TSMCC.2007.897333","volume":"37","author":"ZW Li","year":"2007","unstructured":"Li, Z. W., Hu, H. S., & Wang, A. R. (2007). Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 37(4), 517\u2013526.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C"},{"key":"938_CR20","unstructured":"Li, Z. W., & Zhou, M.C. (2009). Deadlock resolution in automated manufacturing systems: A Novel Petri Net Approach. London: Springer-verlag."},{"issue":"2","key":"938_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li, Z. W., Zhou, M. C., & Wu, N. Q. (2008a). A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part C-Applications and Reviews, 38(2), 173\u2013188.","journal-title":"IEEE Transactions on System Man and Cybernetics Part C-Applications and Reviews"},{"issue":"1","key":"938_CR22","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/TASE.2006.884674","volume":"5","author":"ZW Li","year":"2008","unstructured":"Li, Z. W., Zhou, M. C., & Jeng, M. D. (2008b). A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering, 5(1), 182\u2013188.","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"1","key":"938_CR23","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li, Z. W., & Zhou, M. C. (2008). Control of elementary and dependent siphons in Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(1), 133\u2013148.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"issue":"2","key":"938_CR24","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li, Z. W., & Zhao, M. (2008). On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(2), 369\u2013384.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"issue":"1","key":"938_CR25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.cie.2008.03.013","volume":"56","author":"ZW Li","year":"2009","unstructured":"Li, Z. W., & Hu, H. S. (2009). On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Computers & Industrial Engineering, 56(1), 53\u201362.","journal-title":"Computers & Industrial Engineering"},{"issue":"2","key":"938_CR26","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSMCC.2008.2007246","volume":"39","author":"ZW Li","year":"2009","unstructured":"Li, Z. W., Zhu, S., & Zhou, M. C. (2009). A Divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part C-Applications and Reviews, 39(2), 156\u2013169.","journal-title":"IEEE Transactions on System Man and Cybernetics Part C-Applications and Reviews"},{"key":"938_CR27","doi-asserted-by":"crossref","unstructured":"Li, Z. W., Liu, G., Hanisch, H.-M., & Zhou, M. C. (2012a). Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part A-Systems and Humans, 42(1), 178\u2013191.","DOI":"10.1109\/TSMCA.2011.2147308"},{"issue":"4","key":"938_CR28","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","volume":"42","author":"ZW Li","year":"2012","unstructured":"Li, Z. W., Wu, N. Q., & Zhou, M. C. (2012b). Deadlock control of automated manufacturing systems based on Petri nets\u2014A literature review. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 42(4), 437\u2013462.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"issue":"6","key":"938_CR29","doi-asserted-by":"crossref","first-page":"1008","DOI":"10.1016\/j.automatica.2010.03.011","volume":"46","author":"D Liu","year":"2010","unstructured":"Liu, D., Li, Z. W., & Zhou, M. C. (2010a). Liveness of an extended S3PR. Automatica, 46(6), 1008\u20131018.","journal-title":"Automatica"},{"issue":"11","key":"938_CR30","doi-asserted-by":"crossref","first-page":"3167","DOI":"10.1016\/j.automatica.2013.07.023","volume":"49","author":"D Liu","year":"2013","unstructured":"Liu, D., Li, Z. W., & Zhou, M. C. (2013a). A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets. Automatica, 49(11), 3167\u20133179.","journal-title":"Automatica"},{"issue":"1","key":"938_CR31","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1109\/TSMCA.2011.2157136","volume":"42","author":"GJ Liu","year":"2012","unstructured":"Liu, G. J., Jiang, C. J., & Zhou, M. C. (2012). Process nets with channels. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(1), 213\u2013225.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"issue":"2","key":"938_CR32","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/TSMCA.2012.2204741","volume":"43","author":"GJ Liu","year":"2013","unstructured":"Liu, G. J., Jiang, C. J., Zhou, M. C., & Xiong, P. C. (2013b). Interactive Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(2), 291\u2013302.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"issue":"12","key":"938_CR33","doi-asserted-by":"crossref","first-page":"2867","DOI":"10.1049\/iet-cta.2009.0557","volume":"4","author":"GY Liu","year":"2010","unstructured":"Liu, G. Y., & Li, Z. W. (2010b). General mixed integer programming-based liveness test for system of sequential systems with shared resources nets. IET Control Theory and Applications, 4(12), 2867\u20132878.","journal-title":"IET Control Theory and Applications"},{"issue":"4","key":"938_CR34","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: Properties, analysis and application. Proceedings of IEEE, 77(4), 541\u2013579.","journal-title":"Proceedings of IEEE"},{"issue":"6","key":"938_CR35","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/TSMCA.2008.2003535","volume":"38","author":"L Piroddi","year":"2008","unstructured":"Piroddi, L., Cordone, R., & Fumagalli, I. (2008). Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 38(6), 1337\u20131348.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans"},{"issue":"3","key":"938_CR36","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1109\/TSMCA.2009.2013189","volume":"39","author":"L Piroddi","year":"2009","unstructured":"Piroddi, L., Cordone, R., & Fumagalli, I. (2009). Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 39(3), 650\u2013661.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans"},{"issue":"3","key":"938_CR37","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","volume":"19","author":"M Uzam","year":"2002","unstructured":"Uzam, M. (2002). An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal Advanced Manufacturing Technology, 19(3), 192\u2013208.","journal-title":"International Journal Advanced Manufacturing Technology"},{"issue":"3\u20134","key":"938_CR38","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","volume":"23","author":"M Uzam","year":"2004","unstructured":"Uzam, M. (2004). The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal Advanced Manufacturing Technology, 23(3\u20134), 204\u2013219.","journal-title":"International Journal Advanced Manufacturing Technology"},{"issue":"10","key":"938_CR39","doi-asserted-by":"crossref","first-page":"1987","DOI":"10.1080\/00207540500431321","volume":"44","author":"M Uzam","year":"2006","unstructured":"Uzam, M., & Zhou, M. C. (2006). An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal Production Research, 44(10), 1987\u20132030.","journal-title":"International Journal Production Research"},{"issue":"3","key":"938_CR40","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","volume":"37","author":"M Uzam","year":"2007","unstructured":"Uzam, M., & Zhou, M. C. (2007). An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. I EEE Transactions on System, Man and Cybernetics\u2014Part A: Systems and Humans, 37(3), 362\u2013371.","journal-title":"I EEE Transactions on System, Man and Cybernetics\u2014Part A: Systems and Humans"},{"issue":"1\u20132","key":"938_CR41","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/s00170-006-0701-5","volume":"35","author":"M Uzam","year":"2007","unstructured":"Uzam, M., Li, Z. W., & Zhou, M. C. (2007). Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. International Journal Advanced Manufacturing Technology, 35(1\u20132), 150\u2013168.","journal-title":"International Journal Advanced Manufacturing Technology"},{"key":"938_CR42","doi-asserted-by":"publisher","unstructured":"Uzam, M., Zakariyya, R.S., Li, Z.W., & Gelen, G. (2013). The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs. In TENCON 2013\u20142013 IEEE Region 10 Conference (31194), 22\u201325 October 2013, Xi\u2019an, China, pp. 1\u20134. doi: 10.1109\/TENCON.2013.6718803 .","DOI":"10.1109\/TENCON.2013.6718803"},{"issue":"1","key":"938_CR43","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K Yamalidou","year":"1996","unstructured":"Yamalidou, K., Moody, J., Lemmon, M., & Antsaklis, P. (1996). Feedback control of petri nets based on place invariants. Automatica, 32(1), 15\u201328.","journal-title":"Automatica"},{"issue":"4","key":"938_CR44","doi-asserted-by":"crossref","first-page":"912","DOI":"10.1109\/TSMCA.2009.2019880","volume":"39","author":"AR Wang","year":"2009","unstructured":"Wang, A. R., Li, Z. W., Jia, J. Y., & Zhou, M. C. (2009). An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 39(4), 912\u2013923.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"key":"938_CR45","doi-asserted-by":"crossref","unstructured":"Wang, A. R., Li, Z. W., Zhou, M. C., & Al-Ahmari, A. M. (2012). Iterative deadlock control by using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 42(6), 1204\u20131218.","DOI":"10.1109\/TSMCC.2012.2189385"},{"key":"938_CR46","doi-asserted-by":"crossref","unstructured":"Wang, F. Y., Gao, Y., & Zhou, M. C. (2004). A modified reachability tree approach to analysis of unbounded petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part B, 34(1), 303\u2013308.","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"938_CR47","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.1109\/TSMCA.2011.2170419","volume":"5","author":"SG Wang","year":"2012","unstructured":"Wang, S. G., Wang, C. Y., & Zhou, M. C. (2012). Controllability conditions of resultant siphons in a class of Petri nets. IEEE Transactions on Systems Man and Cybernetics Part A-Systems and Humans, 5, 1206\u20131215.","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part A-Systems and Humans"},{"issue":"1","key":"938_CR48","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/TSMCA.2007.909542","volume":"38","author":"NQ Wu","year":"2008","unstructured":"Wu, N. Q., Zhou, M. C., & Li, Z. W. (2008). Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(1), 56\u201369.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"issue":"2","key":"938_CR49","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/9.481550","volume":"41","author":"KY Xing","year":"1996","unstructured":"Xing, K. Y., Hu, B. S., & Chen, H. X. (1996). Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41(2), 289\u2013295.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"938_CR50","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSMCA.2008.2007947","volume":"39","author":"KY Xing","year":"2009","unstructured":"Xing, K. Y., Zhou, M. C., Liu, H. X., & Tian, F. (2009). Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 39(1), 188\u2013199.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans"},{"issue":"1","key":"938_CR51","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/TSMCA.2012.2192923","volume":"43","author":"CF Zhong","year":"2013","unstructured":"Zhong, C. F., Li, Z. W., Chen, Y. F., & Al-Ahmari, A. (2013). On nonexistence of a maximally permissive liveness-enforcing pure net supervisor. IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, 43(1), 29\u201337.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-014-0938-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10845-014-0938-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-014-0938-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:12:02Z","timestamp":1559268722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10845-014-0938-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,12]]},"references-count":51,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["938"],"URL":"https:\/\/doi.org\/10.1007\/s10845-014-0938-z","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,12]]}}}