{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:01:02Z","timestamp":1761580862265,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717027","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"2785-2790","source":"Crossref","is-referenced-by-count":5,"title":["A method of computing strict minimal siphons in an S<sup>3<\/sup>PR based on resource circuits"],"prefix":"10.1109","author":[{"given":"Shouguang","family":"Wang","sequence":"first","affiliation":[]},{"given":"Chengying","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Yanping","family":"Yu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2006.326915"},{"key":"ref11","first-page":"14490","article-title":"Enumeration Algorithms for Maximal Perfect-resource-transition Circuits and Strict Minimal Siphons in ${\\rm S}^{3}{\\rm PR}$","author":"xing","year":"2008","journal-title":"17th IFAC World Congress"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref17","first-page":"733","article-title":"A Petri net based deadlock prevention approach for flexible manufacturing systems","volume":"29","author":"li","year":"2003","journal-title":"ACTA Automatica Sinica"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916925"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853504"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref1","article-title":"Design of liveness-enforcing supervisors for S3PR based on complementary places","author":"wang","year":"2010","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","article-title":"Control of elementary and dependent siphons in Petri nets and their application","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717027.pdf?arnumber=5717027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:05:33Z","timestamp":1497888333000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717027\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717027","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}