{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T02:59:18Z","timestamp":1722913158124},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2003.1247722","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T22:17:26Z","timestamp":1080685046000},"page":"307-314","source":"Crossref","is-referenced-by-count":0,"title":["Observers for nondeterministic \u03bb-free labeled Petri nets"],"prefix":"10.1109","volume":"1","author":[{"given":"D.","family":"Corona","sequence":"first","affiliation":[]},{"given":"A.","family":"Giua","sequence":"additional","affiliation":[]},{"given":"C.","family":"Seatzu","sequence":"additional","affiliation":[]},{"given":"J.","family":"Julvez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.57018"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1986.267551"},{"key":"ref13","first-page":"146","article-title":"Forbidden state avoidance in controlled Petri nets under partial observation","author":"zhang","year":"1995","journal-title":"Proc 33rd Allerton Conference"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1634"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1989.70090"},{"key":"ref6","first-page":"326","author":"giua","year":"2003","journal-title":"Marking estimation oj Petri nets based Oil partial observation 2003 American Control Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725502"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.250512"},{"key":"ref2","first-page":"226","author":"caines","year":"1988","journal-title":"Dynamical logic observers\/or finite automata 27th Conf on Decision and Control"},{"journal-title":"Reachability in Petri nets An Approach based on constraint programming","year":"2000","author":"benasser","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"}],"event":{"name":"2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings","acronym":"ETFA-03","location":"Lisbon, Portugal"},"container-title":["EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8826\/27939\/01247722.pdf?arnumber=1247722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T19:15:58Z","timestamp":1489432558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1247722\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2003.1247722","relation":{},"subject":[]}}