{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:46:09Z","timestamp":1761932769174,"version":"build-2065373602"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1271737","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"3778-3783","source":"Crossref","is-referenced-by-count":17,"title":["Required event sequences for identification of Discrete Event Systems"],"prefix":"10.1109","author":[{"given":"M.E.","family":"Meda-Campana","sequence":"first","affiliation":[]},{"given":"E.","family":"Lopez-Mellado","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Las redes de Petri En la Automa?tica y la Informa?tica","year":"1985","author":"silva","key":"15"},{"key":"13","article-title":"Observer Design for Discrete Event Systems Modeled by Interpreted Petri Nets","author":"rami?rez-trevin?o","year":"2000","journal-title":"Proceedings of the IEEE International Conference on Robotics and Automation"},{"journal-title":"Petri Net Theory and the Modelling of Systems","year":"0","author":"peterson","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184604"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230802"},{"key":"3","article-title":"Polynomial algorithms for the synthesis of bounded nets","volume":"915","author":"darondeau","year":"1995","journal-title":"Proc CAAP 95"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(80)90285-5"},{"key":"1","article-title":"Design of Asymptotic Observers for Discrete Event Systems","author":"aguirre","year":"1999","journal-title":"Proceedings of the IASTED International Conference on Intelligent Systems and Control"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2001.981000","article-title":"A passive method for on-line identification of Discrete Event Systems","author":"meda-campan?a","year":"2001","journal-title":"IEEE International Conference on Decision and Control"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725502"},{"key":"6","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-55676-1_14","article-title":"Construction of Safe Petri Nets by Presenting Firing Sequences","volume":"616","author":"hiraishi","year":"1992","journal-title":"Lectures Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"journal-title":"Free Choice Petri Nets","year":"1995","author":"esparza","key":"4"},{"key":"9","article-title":"Asymptotic Identification for DES","author":"meda-campan?a","year":"2000","journal-title":"IEEE International Conference on Decision and Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.886434"}],"event":{"name":"42nd IEEE International Conference on Decision and Control","acronym":"CDC-03","location":"Maui, HI, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28456\/01271737.pdf?arnumber=1271737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:22:53Z","timestamp":1497579773000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271737\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1271737","relation":{},"subject":[]}}