{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:08:36Z","timestamp":1740132516396,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472361"],"award-info":[{"award-number":["61472361"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004731","name":"Zhejiang Natural Science Foundation","doi-asserted-by":"crossref","award":["LR14F020001","LY15F030002","LY15F03000"],"award-info":[{"award-number":["LR14F020001","LY15F030002","LY15F03000"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"crossref"}]},{"name":"State Scholarship Fund of China"},{"name":"Zhejiang Sci. & Tech. Project","award":["2015C31064"],"award-info":[{"award-number":["2015C31064"]}]},{"name":"Opening Project of State Key Laboratory for Manufacturing Systems Engineering","award":["sklms2014011"],"award-info":[{"award-number":["sklms2014011"]}]},{"name":"Zhejiang NNST Key Laboratory","award":["2013E10012"],"award-info":[{"award-number":["2013E10012"]}]},{"name":"Zhejiang Gongshang University Innovation Project","award":["CX201411010"],"award-info":[{"award-number":["CX201411010"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/tac.2015.2480233","type":"journal-article","created":{"date-parts":[[2015,9,18]],"date-time":"2015-09-18T18:35:16Z","timestamp":1442601316000},"page":"1953-1958","source":"Crossref","is-referenced-by-count":34,"title":["Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions"],"prefix":"10.1109","volume":"61","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8998-0433","authenticated-orcid":false,"given":"Shouguang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/3468.747852"},{"key":"ref30","first-page":"686","article-title":"A survey of reachability trees of un-bounded Petri nets","volume":"41","author":"gan","year":"2015","journal-title":"ACTA Automatica Sinica"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/JAS.2015.7296528","article-title":"A reduced reachability tree for a class of unbounded Petri nets","volume":"2","author":"wang","year":"2015","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5239-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819298"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"2751","DOI":"10.1109\/TAC.2011.2128590","article-title":"Approach for transforming linear constraints on Petri nets","volume":"56","author":"luo","year":"2011","journal-title":"IEEE Trans Autom Control"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.002"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1109\/TSMCA.2009.2027111","article-title":"Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on Petri Nets","volume":"39","author":"luo","year":"2009","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.099"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2012.2235427"},{"year":"0","key":"ref18"},{"article-title":"Comments on ‘Maximally permissive supervisor synthesis based on a new constraint transformation method’","year":"2014","author":"wang","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406346"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.031"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.528"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.018"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.003"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2201714"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2391014"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2415765"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.837"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2238923"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/iel7\/9\/7499900\/07272077.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7499900\/07272077.pdf?arnumber=7272077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T06:22:33Z","timestamp":1718086953000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7272077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":36,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2480233","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"}],"subject":[],"published":{"date-parts":[[2016,7]]}}}