{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:15:10Z","timestamp":1761488110296},"reference-count":12,"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":38,"title":["Marking estimation of Petri nets with silent transitions"],"prefix":"10.1109","author":[{"given":"D.","family":"Corona","sequence":"first","affiliation":[]},{"given":"A.","family":"Giua","sequence":"additional","affiliation":[]},{"given":"C.","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.821419"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1634"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725502"},{"journal-title":"\"Reachability in Petri Nets An Approach Based on Constraint Programming\" (in French)","year":"2000","author":"benasser","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438708"},{"journal-title":"J of Discrete Event Dynamic Systems","year":"0","key":"6"},{"key":"5","article-title":"State estimation of ?-free labeled Petri nets with contact-free nondeterministic transitions","author":"giua","year":"2004","journal-title":"Technical Report"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1111\/j.1934-6093.2004.tb00204.x"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"9"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"8"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"12","first-page":"146","article-title":"Forbidden state avoidance in controlled Petri nets under partial observation","author":"zhang","year":"1995","journal-title":"33rd Allenon Conference"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","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":[[2017,3,14]],"date-time":"2017-03-14T14:11:59Z","timestamp":1489500719000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428810","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}