{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:00:44Z","timestamp":1761487244234,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/qest.2004.1348020","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"60-69","source":"Crossref","is-referenced-by-count":7,"title":["On observability in timed continuous Petri net systems"],"prefix":"10.1109","author":[{"given":"J.","family":"Julvez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Jimenez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Recalde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184923"},{"key":"16","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/3-540-36580-X_38","article-title":"Observability of linear hybrid systems","volume":"2623","author":"vidal","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2002.806063"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2004.05.002"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-65193-4","volume":"1491","author":"rozenberg","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4_1"},{"journal-title":"Control System Design","year":"1987","author":"friedland","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"marsan","key":"1"},{"key":"10","first-page":"435","article-title":"Petri Nets fluidification revisited: Semantics and steady state","volume":"35","author":"recalde","year":"2001","journal-title":"APII-JESA"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1971.1099826"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1399873"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"journal-title":"Discrete-Time Control Systems 2nd Ed","year":"1995","author":"ogata","key":"8"}],"event":{"name":"First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.","start":{"date-parts":[[2004,11,12]]},"location":"Enschede, Netherlands","end":{"date-parts":[[2004,11,12]]}},"container-title":["First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9341\/29678\/01348020.pdf?arnumber=1348020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:39:17Z","timestamp":1497613157000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/qest.2004.1348020","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}