{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:16:01Z","timestamp":1730193361313,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/acc.2009.5159861","type":"proceedings-article","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T19:56:27Z","timestamp":1248119787000},"page":"5006-5011","source":"Crossref","is-referenced-by-count":1,"title":["Efficient deadlock prevention in Petri nets through the generation of selected siphons"],"prefix":"10.1109","author":[{"given":"Luigi","family":"Piroddi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Cordone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Fumagalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1319-y"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853504"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/70.988975"},{"journal-title":"Methods for the supervisory control of concurrent systems based on Petri net abstractions","year":"2003","author":"iordache","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"8","first-page":"358","article-title":"liveness in bounded petri nets which are covered by t-invariants","volume":"815","author":"lautenbach","year":"1994","journal-title":"Proc Int Conf Application and Theory of Petri Nets LNCS"}],"event":{"name":"2009 American Control Conference","start":{"date-parts":[[2009,6,10]]},"location":"St. Louis, MO, USA","end":{"date-parts":[[2009,6,12]]}},"container-title":["2009 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5089257\/5159764\/05159861.pdf?arnumber=5159861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:19:31Z","timestamp":1489781971000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5159861\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/acc.2009.5159861","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}