{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T17:35:16Z","timestamp":1768844116395,"version":"3.49.0"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/tsmc.2012.2235427","type":"journal-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T21:15:29Z","timestamp":1377724529000},"page":"1248-1255","source":"Crossref","is-referenced-by-count":42,"title":["Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions"],"prefix":"10.1109","volume":"43","author":[{"family":"ShouGuang Wang","sequence":"first","affiliation":[]},{"family":"ChengYing Wang","sequence":"additional","affiliation":[]},{"family":"MengChu Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170419"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2059698"},{"key":"ref36","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":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2219-0"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2012.2189385"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2187890"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2131651"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.999651"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref65","year":"2005","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/66.705370"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.893969"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.003"},{"key":"ref20","first-page":"4171","article-title":"Supervisor synthesis for a class of forbidden state problems in Petri nets","author":"luo","year":"2006","journal-title":"Proc Amer Control Conf"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref21","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":"ref24","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2037824"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"ref50","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.637526"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853508"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1002\/9781118554609"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2192266"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2186440"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198661"},{"key":"ref54","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.833331"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.822279"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2009.2032678"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819298"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.863894"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/0205020"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.280750"},{"key":"ref19","first-page":"4165","article-title":"Supervisor synthesis for enforcing GMECs on a controlled Petri net","author":"luo","year":"2006","journal-title":"Proc Amer Control Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008349927281"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.720505"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806651"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"3203","DOI":"10.1109\/CDC.2003.1271636","article-title":"Normalized cascade structures and state feedback control logic synthesis","author":"dong","year":"2003","journal-title":"Proc IEEE 42nd Conf Decision Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916925"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/TASE.2008.916737","article-title":"A Petri net based heuristic algorithm for realizability of target refining schedules in oil refinery","volume":"5","author":"wu","year":"2008","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2008.2000425"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2032661"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2001688"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2178023"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2192476"},{"key":"ref44","author":"wu","year":"2010","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.183"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6579703\/06472098.pdf?arnumber=6472098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T13:27:00Z","timestamp":1563802020000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6472098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":66,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2012.2235427","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]}}}