{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:50:41Z","timestamp":1729626641482,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341704","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:45:29Z","timestamp":1191937529000},"page":"893-898","source":"Crossref","is-referenced-by-count":1,"title":["On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification"],"prefix":"10.1109","author":[{"given":"Mariagrazia","family":"Dotoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Pia","family":"Fanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino M.","family":"Mangini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1981","author":"peterson","journal-title":"Petri Net Theory and the Modeling of Systems","key":"15"},{"key":"13","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-55676-1_14","article-title":"Construction of a class of safe Petri nets by presenting firing sequences","volume":"616","author":"hiraishi","year":"1992","journal-title":"Lecture Notes in Computer Science"},{"key":"14","article-title":"Identification of concurrent discrete event systems using Petri nets","author":"meda-campan?a","year":"2005","journal-title":"IMACS World Congress Scientific Computation Applied Mathematics and Simulation"},{"year":"0","journal-title":"GNU Linear Programming Kit","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1016\/S0019-9958(67)91165-5"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/WODES.2006.382527"},{"key":"2","article-title":"Synthe?se de re?seaux de Petri a?partir d'exigences","author":"bourdeaud'huy","year":"2004","journal-title":"Proceedings of the 5th French Conference on Modeling and Simulation MOSIM'04"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1016\/S0019-9958(80)90285-5"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/CDC.2005.1583395"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1016\/j.automatica.2007.10.014"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/WODES.2006.382528"},{"key":"5","first-page":"2739","article-title":"Online modeling refinement for discrete event systems","author":"chung","year":"2003","journal-title":"Proc IEEE Conf on Systems"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-1-4757-4070-7"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/ICSMC.1992.271666"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1006\/jcss.1999.1634"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","start":{"date-parts":[[2007,9,22]]},"location":"Scottsdale, AZ, USA","end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341704.pdf?arnumber=4341704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T19:46:26Z","timestamp":1497728786000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341704","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}