{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:00:21Z","timestamp":1770814821644,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/acc.2016.7525005","type":"proceedings-article","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T17:52:25Z","timestamp":1470419545000},"page":"757-763","source":"Crossref","is-referenced-by-count":27,"title":["Verification of language-based opacity in Petri nets using verifier"],"prefix":"10.1109","author":[{"given":"Yin","family":"Tong","sequence":"first","affiliation":[]},{"given":"Ziyue","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seactzu","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042008"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2170453"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7170765"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.490"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605918"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CCDC.2012.6244117"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2389313"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0141-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402224"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402224"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.038"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904281"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386425"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"}],"event":{"name":"2016 American Control Conference (ACC)","location":"Boston, MA, USA","start":{"date-parts":[[2016,7,6]]},"end":{"date-parts":[[2016,7,8]]}},"container-title":["2016 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7518121\/7524873\/07525005.pdf?arnumber=7525005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T01:56:37Z","timestamp":1475200597000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7525005\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/acc.2016.7525005","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}