{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T09:04:51Z","timestamp":1743498291547,"version":"3.37.3"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61973242","61573265","61203037"],"award-info":[{"award-number":["61973242","61573265","61203037"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["K7215581201","K5051304004","K5051304021"],"award-info":[{"award-number":["K7215581201","K5051304004","K5051304021"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004602","name":"New Century Excellent Talents in University","doi-asserted-by":"publisher","award":["NCET-12-0921"],"award-info":[{"award-number":["NCET-12-0921"]}],"id":[{"id":"10.13039\/501100004602","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Academic Research Fund Tier 1 by the Ministry of Education in Singapore","award":["2014-T1-001-147"],"award-info":[{"award-number":["2014-T1-001-147"]}]},{"name":"Academic Research Fund Tier 2 by the Ministry of Education in Singapore","award":["MOE2015-T2-2-049"],"award-info":[{"award-number":["MOE2015-T2-2-049"]}]},{"DOI":"10.13039\/501100007128","name":"Major Fundamental Research Program of the Natural Science Foundation of Shaanxi Province","doi-asserted-by":"publisher","award":["2017ZDJC-34"],"award-info":[{"award-number":["2017ZDJC-34"]}],"id":[{"id":"10.13039\/501100007128","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1109\/tsmc.2019.2944886","type":"journal-article","created":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T19:49:06Z","timestamp":1571946546000},"page":"5067-5079","source":"Crossref","is-referenced-by-count":11,"title":["Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0597-2410","authenticated-orcid":false,"given":"Benyuan","family":"Yang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8724-2058","authenticated-orcid":false,"given":"Hesuan","family":"Hu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E96.A.1783"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050059"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2294617"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3182\/20120829-3-MX-2028.00126"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref31"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets—A literature review","volume":"42","author":"li","year":"2012","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.11.025"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2017.2685521"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)EY.1943-7897.0000611"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2311760"},{"key":"ref28","first-page":"172","article-title":"A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1109\/TSMCA.2009.2027111","article-title":"Supervisor synthesis for enforcing a class of GMECs on Petri nets","volume":"39","author":"luo","year":"2009","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","article-title":"Control of elementary and dependent siphons in Petri nets and their application","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.893969"},{"key":"ref1","first-page":"608","article-title":"State and firing sequence estimation of Petri net application to manufacturing systems","author":"arichi","year":"2013","journal-title":"Proc IEEE Conf Decis and Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2156783"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198661"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2201714"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2342664"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2288645"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2504046"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2420619"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2276477"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2227957"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2923464"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2521833"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2815618"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806651"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.652507"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21834-7_3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.821419"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904281"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.12.004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0190-x"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538436"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2592952"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2902846"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2199307"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2219-0"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2574120"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2018.8444173"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2012.2235427"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2389313"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585647"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/9488259\/08882249.pdf?arnumber=8882249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:53:06Z","timestamp":1652194386000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8882249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":52,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2019.2944886","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"type":"print","value":"2168-2216"},{"type":"electronic","value":"2168-2232"}],"subject":[],"published":{"date-parts":[[2021,8]]}}}