{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T12:56:18Z","timestamp":1770814578836,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/cdc.2015.7402224","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T16:32:44Z","timestamp":1456763564000},"page":"344-349","source":"Crossref","is-referenced-by-count":19,"title":["Verification of initial-state opacity in Petri nets"],"prefix":"10.1109","author":[{"given":"Yin","family":"Tong","sequence":"first","affiliation":[]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605967"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref17","author":"tong","year":"0","journal-title":"Proofs"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.847749"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"355","DOI":"10.3233\/JCS-2004-123-403","article-title":"Probabilistic analysis of an anonymity system","volume":"12","author":"shmatikov","year":"2004","journal-title":"Computers and Security Journal"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.490"}],"event":{"name":"2015 54th IEEE Conference on Decision and Control (CDC)","location":"Osaka","start":{"date-parts":[[2015,12,15]]},"end":{"date-parts":[[2015,12,18]]}},"container-title":["2015 54th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7396016\/7402066\/07402224.pdf?arnumber=7402224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T23:49:13Z","timestamp":1567640953000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7402224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cdc.2015.7402224","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}