{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:14:29Z","timestamp":1772554469655,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798864","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"3935-3941","source":"Crossref","is-referenced-by-count":6,"title":["On liveness enforcement of DSSP net systems"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","article-title":"Linear algebraic and linear programming techniques for the analysis of P\/T net systems.","volume":"1491","author":"silva","year":"1998","journal-title":"Lectures in Petri Nets I Basic Models"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0132-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3078-9_19"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"ref2","author":"bernardi","year":"2016","journal-title":"Toward a decision support system for the clinical guidelines assessment ”"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/70.681245"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","location":"Las Vegas, NV, USA","start":{"date-parts":[[2016,12,12]]},"end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798864.pdf?arnumber=7798864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:41:06Z","timestamp":1568684466000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798864\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798864","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}