{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:01:34Z","timestamp":1729652494000,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iecon.2010.5675332","type":"proceedings-article","created":{"date-parts":[[2010,12,29]],"date-time":"2010-12-29T22:07:28Z","timestamp":1293660448000},"page":"2156-2161","source":"Crossref","is-referenced-by-count":14,"title":["Ecore representation for extending PNML for Input-Output Place-Transition nets"],"prefix":"10.1109","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Figueiredo","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Pais","sequence":"additional","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"483","article-title":"The Petri Net Markup Language: Concepts, Technology, and Tools","volume":"2679","author":"billington","year":"2003","journal-title":"Proceeding of the 24th International Conference on Application and Theory of Petri Nets Ser LNCS"},{"key":"ref11","article-title":"Emerging Trends in Technological Innovation, ser. IFIP Advances in Information and Communication Technology. Springer Boston","volume":"314","author":"costa","year":"2010","journal-title":"ch Properties Preservation in Distributed Execution of Petri Nets Models"},{"year":"2010","key":"ref12","article-title":"Fordesign project home page"},{"year":"2010","key":"ref13","article-title":"SnoopyIOPT - A Graphical IOPT Petri net Editor"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-08921-7_85","article-title":"Synchronized Petri nets: A model for the description of non-autonomous systems","volume":"64","author":"moalla","year":"1978","journal-title":"athematical Foundations of Computer Science ser Lecture Notes in Computer Science"},{"journal-title":"Las Redes de Petri en la Automática y la Informática","year":"1985","author":"silva","key":"ref16"},{"journal-title":"Petri Nets and Grafcet Tools for Modelling Discrete Event Systems","year":"1992","author":"david","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/41.334578"},{"key":"ref19","first-page":"57","article-title":"Editing, visualizing, and implementing signal interpreted Petri nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235261"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.1997.615488"},{"key":"ref6","article-title":"MDD, “Special issue on model-driven development","volume":"20","year":"2003","journal-title":"IEEE Software"},{"key":"ref5","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 Conference on Industrial Informatics (INDIN'07)"},{"year":"0","key":"ref8","article-title":"Omg mda guide version 1.0.1. formal doc.: 03-06-01"},{"year":"2010","key":"ref7","article-title":"Object management group"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"Eclipse","article-title":"The atlantic zoo","year":"2010","key":"ref9"},{"year":"2010","key":"ref1","article-title":"Petri nets tool database"},{"key":"ref20","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","volume":"41","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"article-title":"Software and systems engineering – high-level Petri nets, part 2: Transfer format. international standard iso\/iec 15909–2. working draft version 1.1.4","year":"2007","author":"kindler","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981769"},{"year":"2010","key":"ref24","article-title":"Pnml framework's site"},{"year":"2010","key":"ref23","article-title":"Place\/transition nets metamodel"},{"key":"ref25","first-page":"2196","article-title":"Checking semantics equivalence of mda transformations in concurrent systems","volume":"15","author":"barbosa","year":"2009","journal-title":"Journal of Universal Computer Science (J UCS)"}],"event":{"name":"IECON 2010 - 36th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2010,11,7]]},"location":"Glendale, AZ, USA","end":{"date-parts":[[2010,11,10]]}},"container-title":["IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5661635\/5674827\/05675332.pdf?arnumber=5675332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T02:24:59Z","timestamp":1592187899000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5675332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iecon.2010.5675332","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}