{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:57:06Z","timestamp":1761487026225,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184604","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"805-810","source":"Crossref","is-referenced-by-count":21,"title":["Incremental synthesis of Petri net models for identification of discrete event systems"],"prefix":"10.1109","volume":"1","author":[{"given":"M.E.","family":"Meda-Campana","sequence":"first","affiliation":[]},{"given":"E.","family":"Lopez-Mellado","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Design of Asymp- totic Observers for Discrete Event Systems","author":"aguirre","year":"1999","journal-title":"Proceedings of the IASTED International Conference on Intelligent Systems and Control"},{"key":"ref11","article-title":"Dynamical local properties for estimation and control of discrete event systems modeled by interpreted Petri","author":"meda-campa\u00f1a","year":"2000","journal-title":"2000 IEEE International Conference on Systems Man and Cybernetics Nashville Tn"},{"key":"ref12","article-title":"Asymptotic Identification for DES","author":"meda-campa\u00f1a","year":"2000","journal-title":"IEEE International Conference on Decision and Control"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2001.981000","article-title":"A passice method for on-line identification of Discrete Event Systems","author":"meda-campa\u00f1a","year":"2001","journal-title":"IEEE International Conference on Decision and Control"},{"key":"ref4","article-title":"Las Redes de Petri: en la Automatica y la Informatica","author":"silva","year":"1985","journal-title":"AC Editorial"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725502"},{"key":"ref5","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 Secuences","volume":"616","author":"hiraishi","year":"1992","journal-title":"Lectures Notes in Computer Sciences"},{"key":"ref8","first-page":"7632","article-title":"Petri net theory and the modelling of systems)","author":"peterson","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230802"},{"key":"ref2","article-title":"Introduction to Automata Theory","author":"hopcroft","year":"1979","journal-title":"Languages and Computation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322334"},{"key":"ref9","article-title":"Free Choice Petri Nets","author":"esparza","year":"1995","journal-title":"Cambridge University Press"}],"event":{"name":"IEEE Conference on Decision and Control","acronym":"CDC-02","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26566\/01184604.pdf?arnumber=1184604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T20:09:05Z","timestamp":1497557345000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184604","relation":{},"subject":[]}}