{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:54:09Z","timestamp":1729623249196,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iecon.2012.6389077","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T04:15:46Z","timestamp":1357186546000},"page":"6138-6143","source":"Crossref","is-referenced-by-count":1,"title":["On the verification of non-autonomous Petri net models using autonomous petri net tools"],"prefix":"10.1109","author":[{"given":"Joao Paulo","family":"Barros","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btq050"},{"journal-title":"SNOOPY's Home Page","year":"2007","author":"structures","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417350"},{"journal-title":"Graphviz","year":"0","key":"12"},{"key":"3","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"A signal extension for petri nets and its use in controller design","volume":"41","author":"hanisch","year":"2000","journal-title":"Fundamenta Irformaticae"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/41.334578"},{"journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","year":"1992","author":"david","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"Petri nets tool database","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382522"},{"key":"4","first-page":"3172","article-title":"Analysis of petri net based control algorithms - Basic properties","volume":"5","author":"frey","year":"2000","journal-title":"American Control Coriference 2000 Proceedings of the 2000"},{"journal-title":"Integrated Net Analyzer INA","year":"0","author":"starke","key":"9"},{"key":"8","article-title":"The input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Coriference on Industrial Iriformatics (INDlN'07)"}],"event":{"name":"IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2012,10,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,28]]}},"container-title":["IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6373889\/6388505\/06389077.pdf?arnumber=6389077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,19]],"date-time":"2020-07-19T18:26:22Z","timestamp":1595183182000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6389077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iecon.2012.6389077","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}