{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:18:06Z","timestamp":1758475086731,"version":"3.37.3"},"reference-count":61,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMA J Math Control Info"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1093\/imamci\/dnv016","type":"journal-article","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T20:20:49Z","timestamp":1431375649000},"page":"933-950","source":"Crossref","is-referenced-by-count":2,"title":["A resource configuration method for liveness of a class of Petri nets"],"prefix":"10.1093","volume":"33","author":[{"given":"Miao","family":"Liu","sequence":"first","affiliation":[]},{"given":"ShouGuang","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Tasawar","family":"Hayat","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Alsaedi","sequence":"additional","affiliation":[]},{"given":"ZhiWu","family":"Li","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2015,5,10]]},"reference":[{"key":"2016122806351227000_33.4.933.1","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01438223","article-title":"Deadlock prevention and avoidance in FMS: a Petri net based approach","volume":"14","author":"Abdallah","year":"1998","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"2016122806351227000_33.4.933.2","unstructured":"Barkaoui K. Abdallah I. B. (1996) Structural liveness analysis of S $^3$ PR nets. Proc. Symp. Discrete Events Manuf. Syst., CESA\u201996 IMACS Multiconference, pp. 438\u2013443."},{"key":"2016122806351227000_33.4.933.3","first-page":"57","article-title":"On liveness and controlled siphons in Petri nets","volume":"1091","author":"Barkaoui","year":"1996","journal-title":"Proc. Int. Conf. Appl. Theory Petri Nets, LNCS"},{"key":"2016122806351227000_33.4.933.4","doi-asserted-by":"crossref","unstructured":"Barkaoui K. Chaoui A. Zouari B. (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. Proc. IEEE Int. Conf. Syst., Man, Cybern., Orlando, FL, vol. 4, pp. 3750\u20133755.","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"2016122806351227000_33.4.933.5","first-page":"90","article-title":"On the equivalence between liveness and deadlock-freeness in Petri nets","volume":"3536","author":"Barkaoui","year":"2005","journal-title":"Proc. Int. Conf. Appl. Theory Petri Nets-LNCS"},{"key":"2016122806351227000_33.4.933.6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"2016122806351227000_33.4.933.7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"2016122806351227000_33.4.933.8","doi-asserted-by":"crossref","unstructured":"Chen Y. F. Li Z. W. (2013) Optimal Supervisory Control of Automated Manufacturing Systems. New York: CRC Press, Taylor & Francis Group.","DOI":"10.1201\/b14588"},{"key":"2016122806351227000_33.4.933.9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2307284"},{"key":"2016122806351227000_33.4.933.10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"2016122806351227000_33.4.933.11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"2016122806351227000_33.4.933.12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"2016122806351227000_33.4.933.13","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"2016122806351227000_33.4.933.14","doi-asserted-by":"crossref","unstructured":"Colom J. M. (2003) The resource allocation problem in flexible manufacturing systems. Proc. Int. Conf. Appl. Theory Petri Nets, LNCS, vol. 2679. Springer, pp. 23\u201335.","DOI":"10.1007\/3-540-44919-1_3"},{"key":"2016122806351227000_33.4.933.15","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2016122806351227000_33.4.933.16","first-page":"64","article-title":"A class of well structured Petri nets for flexible manufacturing systems","volume":"1420","author":"Ezpeleta","year":"1998","journal-title":"ICATPN"},{"key":"2016122806351227000_33.4.933.17","unstructured":"Hruz B. Zhou M. C. (2007) Modeling and Control of Discrete Event Dynamic Systems. London, UK: Springer."},{"key":"2016122806351227000_33.4.933.18","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"2016122806351227000_33.4.933.19","doi-asserted-by":"publisher","DOI":"10.1109\/3477.558787"},{"key":"2016122806351227000_33.4.933.20","doi-asserted-by":"publisher","DOI":"10.1109\/21.214792"},{"key":"2016122806351227000_33.4.933.21","doi-asserted-by":"publisher","DOI":"10.1109\/70.388774"},{"key":"2016122806351227000_33.4.933.22","doi-asserted-by":"publisher","DOI":"10.1109\/3468.769759"},{"key":"2016122806351227000_33.4.933.23","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"2016122806351227000_33.4.933.24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"2016122806351227000_33.4.933.25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"2016122806351227000_33.4.933.26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"2016122806351227000_33.4.933.27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"2016122806351227000_33.4.933.28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"2016122806351227000_33.4.933.29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"2016122806351227000_33.4.933.30","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"2016122806351227000_33.4.933.31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"2016122806351227000_33.4.933.32","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1109\/TSMCA.2008.918605","article-title":"On siphon computation and deadlock control for a class of Petri nets","volume":"38","author":"Li","year":"2008","journal-title":"IEEE Trans. Syst., Man, Cybern. A, Syst., Hum."},{"key":"2016122806351227000_33.4.933.33","unstructured":"Li Z. W. Zhou M. C. (2009) Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, UK: Springer."},{"key":"2016122806351227000_33.4.933.34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"2016122806351227000_33.4.933.35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"2016122806351227000_33.4.933.36","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSMCC.2008.2007246","article-title":"A divide-conquer strategy to deadlock prevention in fiexible manufacturing systems","volume":"39","author":"Li","year":"2009","journal-title":"IEEE Trans. Syst., Man, Cybern. C, Appl. Rev."},{"key":"2016122806351227000_33.4.933.37","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dnt029"},{"key":"2016122806351227000_33.4.933.38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2128590"},{"key":"2016122806351227000_33.4.933.39","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1016\/j.automatica.2012.02.002","article-title":"Maximally permissive supervisor synthesis based on a new constraint transformation method","volume":"48","author":"Luo","year":"2010","journal-title":"Automatica"},{"key":"2016122806351227000_33.4.933.40","doi-asserted-by":"crossref","unstructured":"Ma Z. Y. Li Z. W. Giua A. (2015) Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints. IEEE Trans. Autom. Control, http:\/\/dx.doi.org\/10.1109\/TAC.2015.2389313.","DOI":"10.1109\/TAC.2015.2389313"},{"key":"2016122806351227000_33.4.933.41","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"2016122806351227000_33.4.933.42","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"2016122806351227000_33.4.933.43","unstructured":"Tricas F. (2003) Deadlock analysis, prevention and avoidance in sequential resource allocation systems. Ph.D. Dissertation, University of Zaragoza, Zaragoza, Spain."},{"key":"2016122806351227000_33.4.933.44","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2309479"},{"key":"2016122806351227000_33.4.933.45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"2016122806351227000_33.4.933.46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2406336.2406338","article-title":"Design of a liveness-enforcing supervisor for S $^3$ PR based on complementary places","volume":"12","author":"Wang","year":"2011","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"2016122806351227000_33.4.933.47","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.560204"},{"key":"2016122806351227000_33.4.933.48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"},{"key":"2016122806351227000_33.4.933.49","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897339"},{"key":"2016122806351227000_33.4.933.50","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2178023"},{"key":"2016122806351227000_33.4.933.51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"2016122806351227000_33.4.933.52","doi-asserted-by":"publisher","DOI":"10.1109\/70.781975"},{"key":"2016122806351227000_33.4.933.53","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TSMCB.2011.2170678","article-title":"Deadlock-free genetic scheduling algorithm for automated manufacturing systems based on deadlock control policy","volume":"42","author":"Xing","year":"2012","journal-title":"IEEE Trans. Syst., Man, Cybern. B, Cybern."},{"key":"2016122806351227000_33.4.933.54","doi-asserted-by":"crossref","unstructured":"Ye J. H. Li Z. W. Giua A. (2015) Decentralized supervision of Petri nets with a coordinator, IEEE Trans. Syst., Man, Cybern. A, Syst., Hum., doi:10.1109\/TSMC.2014.2373316 .","DOI":"10.1109\/TSMC.2014.2373316"},{"key":"2016122806351227000_33.4.933.55","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2313352"},{"key":"2016122806351227000_33.4.933.56","doi-asserted-by":"crossref","unstructured":"Zhou M. C. (1995) Petri Nets in Flexible and Agile Automation. London, UK: Kluwer.","DOI":"10.1007\/978-1-4615-2231-7"},{"key":"2016122806351227000_33.4.933.57","doi-asserted-by":"publisher","DOI":"10.1109\/70.86081"},{"key":"2016122806351227000_33.4.933.58","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"2016122806351227000_33.4.933.59","doi-asserted-by":"crossref","unstructured":"Zhou M. C. DiCesare F. (1993) Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, UK: Kluwer.","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"2016122806351227000_33.4.933.60","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"2016122806351227000_33.4.933.61","doi-asserted-by":"crossref","unstructured":"Zhou M. C. Venkatesh K. (1998) Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific.","DOI":"10.1142\/3376"}],"container-title":["IMA Journal of Mathematical Control and Information"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T19:42:51Z","timestamp":1566675771000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article-lookup\/doi\/10.1093\/imamci\/dnv016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,10]]},"references-count":61,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2016,12,28]]},"published-print":{"date-parts":[[2016,12]]}},"alternative-id":["10.1093\/imamci\/dnv016"],"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnv016","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"type":"print","value":"0265-0754"},{"type":"electronic","value":"1471-6887"}],"subject":[],"published":{"date-parts":[[2015,5,10]]}}}