{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:19:09Z","timestamp":1776442749830,"version":"3.51.2"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"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\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61374066"],"award-info":[{"award-number":["61374066"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"USA NSF","doi-asserted-by":"crossref","award":["CMMI-1162482"],"award-info":[{"award-number":["CMMI-1162482"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Promotion Program for Young and Middle-aged Teacher in Science and Technology Research of Huaqiao University","award":["ZQN-PY208"],"award-info":[{"award-number":["ZQN-PY208"]}]},{"name":"Program for New Century Excellent Talents of Fujian Province of China","award":["11FJRC01"],"award-info":[{"award-number":["11FJRC01"]}]},{"name":"Natural Science Foundation of Fujian Province of China","award":["2014J01241"],"award-info":[{"award-number":["2014J01241"]}]},{"name":"Zhejiang Natural Science Foundation for Distinguished Young Scholar","award":["LR14F020001"],"award-info":[{"award-number":["LR14F020001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1109\/tac.2014.2336431","type":"journal-article","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T19:49:04Z","timestamp":1411674544000},"page":"88-103","source":"Crossref","is-referenced-by-count":43,"title":["Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis"],"prefix":"10.1109","volume":"60","author":[{"given":"Jiliang","family":"Luo","sequence":"first","affiliation":[]},{"given":"Huijuan","family":"Ni","sequence":"additional","affiliation":[]},{"given":"Weimin","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Shouguang","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1137\/0205020"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2186440"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.280750"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.720505"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1008397810443","article-title":"Control synthesis of Petri nets based on S-decrease","volume":"10","author":"chen","year":"2000","journal-title":"Discrete Event Dynam Syst"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.467679"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013331703036"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806651"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.893969"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref28","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":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819298"},{"key":"ref27","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 Applicat Rev"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"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:1008271916548"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref1","first-page":"1","article-title":"Petri net techniques for supervisory control of discrete event systems","author":"giua","year":"0","journal-title":"Proc 1st Int Workshop Manuf Petri Nets"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.003"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.031"},{"key":"ref21","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":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.528"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.002"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739115"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2219-0"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6994898\/06849476.pdf?arnumber=6849476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:27:35Z","timestamp":1642004855000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6849476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":32,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2336431","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}