{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:15:24Z","timestamp":1729628124438,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347117","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:11Z","timestamp":1260456251000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Sequence-detectability analysis of interpreted Petri nets under partial state observations"],"prefix":"10.1109","author":[{"given":"Luis","family":"Aguirre-Salas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandra","family":"Santoyo-Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/5.24143"},{"key":"ref11","first-page":"553","article-title":"Geometrical characterization of observability in interpreted Petri nets","volume":"41","author":"rivera-rangel","year":"2005","journal-title":"Kybemetika"},{"year":"1985","author":"silva","journal-title":"Petri Nets on Automatics and Data Processing","key":"ref12"},{"year":"1998","author":"zhou","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1017\/CBO9780511526558"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","article-title":"Marking estimation of Petri nets with silent transitions","volume":"52","author":"corona","year":"2007","journal-title":"IEEE Trans on Automatic Control"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CDC.2000.914209"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/CDC.1997.652507"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/BFb0042308"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TAC.2002.802769"},{"key":"ref2","first-page":"1837","article-title":"Regulation control of partially observed discrete event systems","author":"campos-rodriguez","year":"2004","journal-title":"Proc IEEE-SMC"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"3602","DOI":"10.1109\/CDC.2002.1184921","article-title":"Observability in Interpreted Petri Nets using Sequence Invariants","author":"aguirre","year":"2002","journal-title":"Proc of the 41st IEEE Conference on Decision and Control"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ICSMC.1998.725502"}],"event":{"name":"Factory Automation (ETFA 2009)","start":{"date-parts":[[2009,9,22]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347117.pdf?arnumber=5347117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:41:46Z","timestamp":1497825706000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347117","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}