{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:51:59Z","timestamp":1729662719958,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341820","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:29Z","timestamp":1191951929000},"page":"194-199","source":"Crossref","is-referenced-by-count":2,"title":["State Estimation of Petri Nets by Transformation"],"prefix":"10.1109","author":[{"given":"Maria Paola","family":"Cabasino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Recalde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control","year":"2007","author":"mahulea","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"article-title":"Reachability in Petri nets: An approach based on constraint programming","year":"2000","author":"benasser","key":"1"},{"key":"7","first-page":"111","article-title":"De?termination de l'e?quivalence comportementale d'algorithmes de contro?le - commande","author":"gourcuff","year":"2006","journal-title":"Conference Approches Formelles dans l'Assistance au De?veloppement de Logiciels (AFADL'06)"},{"key":"6","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","article-title":"Linear algebraic and linear programming techniques for the analysis of place\/transition net systems","volume":"1491","author":"silva","year":"1998","journal-title":"Lecture Notes in Computer Science Lectures on Petri Nets I Basic Models"},{"key":"5","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","article-title":"Transformations and decompositions of nets","volume":"254 i","author":"berthelot","year":"1987","journal-title":"ser Lecture Notes in Computer Science"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583175"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"}],"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\/04341820.pdf?arnumber=4341820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:46:31Z","timestamp":1497743191000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341820\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341820","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}