{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:31:53Z","timestamp":1784212313410,"version":"3.55.0"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61573158"],"award-info":[{"award-number":["61573158"]}],"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":["61773343"],"award-info":[{"award-number":["61773343"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003392","name":"Natural Science Foundation of Fujian Province","doi-asserted-by":"publisher","award":["2017J01117"],"award-info":[{"award-number":["2017J01117"]}],"id":[{"id":"10.13039\/501100003392","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Planning Project of Fujian Province of China","award":["2018H0022"],"award-info":[{"award-number":["2018H0022"]}]},{"name":"Key Research and Development Program of Guangdong Province of China","award":["2019B010120001"],"award-info":[{"award-number":["2019B010120001"]}]},{"DOI":"10.13039\/501100004835","name":"Zhejiang University","doi-asserted-by":"publisher","award":["ICT1921"],"award-info":[{"award-number":["ICT1921"]}],"id":[{"id":"10.13039\/501100004835","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Fujian Province of China","award":["2017T003"],"award-info":[{"award-number":["2017T003"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1109\/tac.2019.2918052","type":"journal-article","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:25:03Z","timestamp":1558380303000},"page":"397-403","source":"Crossref","is-referenced-by-count":24,"title":["Structural Controller for Logical Expression of Linear Constraints on Petri Nets"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7893-8056","authenticated-orcid":false,"given":"Jiliang","family":"Luo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1958-1920","authenticated-orcid":false,"given":"Weimin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0855-0704","authenticated-orcid":false,"given":"Hui","family":"Shao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kenzo","family":"Nonami","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7003-1000","authenticated-orcid":false,"given":"Hongye","family":"Su","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282231"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470588"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1244681"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2336431"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2389313"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2013.6653978"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819298"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2586604"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.233154"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.280750"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013331703036"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.822279"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.467679"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.528"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.947"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison on Petri net-based deadlock prevention control policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref29","first-page":"167","article-title":"From forbidden states to linear constraints","volume":"73","author":"zareiee","year":"2011","journal-title":"World Acad Sci Eng Technol"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5159987"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref7","first-page":"974","article-title":"Generalized mutual exclusion constraints on Petri nets with uncontrollable transitions","author":"giua","year":"0","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015617431563"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.893969"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806651"},{"key":"ref24","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":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.031"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1109\/TSMCC.2009.2037824","article-title":"Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets","volume":"40","author":"li","year":"2010","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref25","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"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8944139\/08718549.pdf?arnumber=8718549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T16:01:29Z","timestamp":1651075289000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8718549\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":36,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2019.2918052","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}