{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:30:00Z","timestamp":1775028600565,"version":"3.50.1"},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"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":["61374068"],"award-info":[{"award-number":["61374068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472295"],"award-info":[{"award-number":["61472295"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010871","name":"Recruitment Program of Global Experts","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100010871","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund, MSAR","doi-asserted-by":"crossref","award":["066\/2013\/A2"],"award-info":[{"award-number":["066\/2013\/A2"]}],"id":[{"id":"10.13039\/501100003009","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["JB142001-15"],"award-info":[{"award-number":["JB142001-15"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100005320","name":"Xidian University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005320","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/tac.2015.2389313","type":"journal-article","created":{"date-parts":[[2015,1,9]],"date-time":"2015-01-09T14:35:14Z","timestamp":1420814114000},"page":"1774-1785","source":"Crossref","is-referenced-by-count":114,"title":["Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints"],"prefix":"10.1109","volume":"60","author":[{"given":"Ziyue","family":"Ma","sequence":"first","affiliation":[]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref11","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"},{"key":"ref12","first-page":"2429","article-title":"An approach to determine controllability of monolithic supervisors","author":"ma","year":"0","journal-title":"Proc Int Fed Autom Control"},{"key":"ref13","first-page":"66","article-title":"A constraint transformation technique for Petri nets with certain uncontrollable structures","author":"ma","year":"0","journal-title":"Proc Int Workshop on Discrete Event Syst"},{"key":"ref14","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref15","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"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2013.6653978"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8_12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.893969"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979727"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282231"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1991.261262"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2219-0"},{"key":"ref1","first-page":"947","article-title":"Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions","author":"giua","year":"0","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","article-title":"On controllability of dependent siphons for deadlock prevention in generalized Petri nets","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1109\/TSMCA.2008.918605","article-title":"On siphon conputation for deadlock control in a class of Petri nets","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7132652\/07005425.pdf?arnumber=7005425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:47:24Z","timestamp":1641988044000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":23,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2389313","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}