{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T05:40:38Z","timestamp":1792820438279,"version":"4.5.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428810","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T14:10:36Z","timestamp":1219846236000},"page":"966-971 Vol.1","source":"Crossref","is-referenced-by-count":44,"title":["Marking estimation of Petri nets with silent transitions"],"prefix":"10.1109","author":[{"given":"D.","family":"Corona","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Giua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Reachability in Petri nets: an approach based on constraint programming","author":"Benasser","year":"2000"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1634"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.821419"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1111\/j.1934-6093.2004.tb00204.x"},{"key":"ref5","article-title":"State Estimation of A-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions","volume-title":"Technical Report","author":"Giua","year":"2004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438708"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09507-2_19"},{"key":"ref8","volume-title":"Introduction to Automata Theory, Lan-guages, and Computation","author":"Hopcroft","year":"1979"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725502"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref11","first-page":"146","article-title":"Forbidden state avoidance in controlled Petri nets under partial observation","volume-title":"33rd Allerton Conference","author":"Zhang"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","location":"Nassau, Bahamas","start":{"date-parts":[[2004,12,17]]},"end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30836\/01428810.pdf?arnumber=1428810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T05:35:07Z","timestamp":1792820107000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428810","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}