{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:12:20Z","timestamp":1729609940887,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042447","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"399-404","source":"Crossref","is-referenced-by-count":2,"title":["Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets"],"prefix":"10.1109","author":[{"given":"ShouGuang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ChengYing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"ref33"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2005","author":"zhou","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048898"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058101"},{"key":"ref12","first-page":"1446","article-title":"Liveness Enforcing Supervision of Video Streaming Systems Using Non-sequential Petri Nets","volume":"11","author":"hu","year":"2009","journal-title":"IEEE Transactions on Multimedia"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500464942"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref17","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 Syst Humans"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref18"},{"journal-title":"FANM Extraction of A Minimal Siphon from A Maximal One","year":"2009","author":"liu","key":"ref19"},{"journal-title":"System Modeling and Control with Resource-Oriented Petri Nets","year":"2010","author":"wu","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-1967-1"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916925"},{"journal-title":"Modeling and Control of Discrete Event Dynamic Systems","year":"2007","author":"hruz","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2037825"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/70.843175"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050059"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref23","first-page":"190","article-title":"Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings","volume":"46","author":"park","year":"2001","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1109\/TSMCA.2010.2059698","article-title":"Comments on 'Siphon-based deadlock prevention policy for flexible manufacturing systems","volume":"41","author":"g","year":"2011","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538247"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042447.pdf?arnumber=6042447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:55:49Z","timestamp":1497945349000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042447","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}