{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T04:12:12Z","timestamp":1730261532059,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/iecon.2009.5414909","type":"proceedings-article","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T18:34:40Z","timestamp":1266431680000},"page":"4359-4364","source":"Crossref","is-referenced-by-count":3,"title":["Modeling complex Petri nets operations in the Model-Driven Architecture"],"prefix":"10.1109","author":[{"given":"Paulo E. S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Jorge C. A.","family":"de Figueiredo","sequence":"additional","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Antonio D.","family":"dos S.","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"19","article-title":"Towards a Runtime Model based on Colored Petri-nets for the Execution of Model Transformations","author":"reiter","year":"2007","journal-title":"Forschungsbericht der Fakultat IV - Elektrotechnik und Informatik"},{"journal-title":"OMG","article-title":"Object management group","year":"2008","key":"ref11"},{"key":"ref12","article-title":"The ATL Transformation-Based Model Management Framework","author":"bezivin","year":"2003","journal-title":"Technical Report I"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11908883_9"},{"key":"ref14","article-title":"Formal methods for embedded systems co-design: the fordesign project","author":"gomes","year":"2005","journal-title":"ReCoSoC?05- Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384808"},{"key":"ref16","article-title":"Petri net Partitioning Using net Splitting Operation","author":"gomes","year":"2009","journal-title":"Proceedings of INDIN (7th IEEE International Conference on Industrial Informatics)"},{"key":"ref17","first-page":"23","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"},{"journal-title":"Eclipse Modeling Framework","year":"2003","author":"budinsky","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"OMG","article-title":"Model-Driven Architecture","year":"2008","key":"ref4"},{"key":"ref3","article-title":"MDA Guide Version 1.0.1","author":"miller","year":"2003","journal-title":"Object Management Group (OMG)"},{"key":"ref6","article-title":"Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach","author":"roubtsova","year":"2005","journal-title":"Preliminary Proceedings of the 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB)"},{"key":"ref5","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)"},{"key":"ref8","first-page":"22","article-title":"Model engineering on Petri nets for ISO\/IEC 15909–2: API Framework for Petri Net types metamodels","author":"hillah","year":"2005","journal-title":"Petri Net Newsletter"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505176"},{"article-title":"Model-Driven Software Development: An emerging paradigm for industrialized software asset development","year":"2004","author":"bettin","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"ref9","first-page":"213","article-title":"Mapping UML Diagrams to a Petri Net Notation for System Simulation","author":"hu","year":"2004","journal-title":"SEKE"},{"key":"ref20","article-title":"Maude: Specification and programming in rewriting logic","author":"clavel","year":"2001","journal-title":"Theoretical Computer Science"}],"event":{"name":"IECON 2009 - 35th Annual Conference of IEEE Industrial Electronics (IECON 2009)","start":{"date-parts":[[2009,11,3]]},"location":"Porto","end":{"date-parts":[[2009,11,5]]}},"container-title":["2009 35th Annual Conference of IEEE Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5405664\/5414636\/05414909.pdf?arnumber=5414909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T03:01:15Z","timestamp":1489892475000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5414909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iecon.2009.5414909","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}