{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:13:06Z","timestamp":1729660386582,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/icit.2015.7125319","type":"proceedings-article","created":{"date-parts":[[2015,6,18]],"date-time":"2015-06-18T16:05:48Z","timestamp":1434643548000},"page":"1564-1569","source":"Crossref","is-referenced-by-count":0,"title":["Distributed controllers modeling through Petri nets with multi-asynchronous-channels"],"prefix":"10.1109","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"5","article-title":"Modeling formalisms for embedded systems design","author":"gomes","year":"2005","journal-title":"Embedded Systems Handbook"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/2.108047"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"journal-title":"Petri nets for System Engineering A Guide to Modeling Verification and Applications","year":"2003","author":"girault","key":"ref15"},{"year":"2013","key":"ref16","article-title":"Object management group"},{"key":"ref17","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)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2012.6237295"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1109\/ICMC.2014.7232002","article-title":"IOPT-Tools - Towards cloud design automation of digital controllers with Petri nets","author":"pereira","year":"2014","journal-title":"Proceedings of the ICMC'2014 - International Conference on Mechatronics and Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2027059"},{"key":"ref3","article-title":"Is there hope for GALS in the future?","author":"grkaynak","year":"2004","journal-title":"Fourth ACiD-WG Workshop of the European Commissions Fifth Framework Programme"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.30"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"ref8","first-page":"1","article-title":"Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study","author":"bicchierai","year":"2012","journal-title":"Industrial Informatics IEEE Transactions on"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2174248"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.164"},{"article-title":"Globally-Asynchronous Locally-Synchronous Systems","year":"1984","author":"chapiro","key":"ref1"},{"year":"2014","key":"ref9","article-title":"OMG Model Driven Architecture"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2341933"},{"key":"ref22","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 sytems","volume":"64","author":"moalla","year":"1978","journal-title":"Mathematical Foundations of Computer Science 1978 ser LNCS"},{"journal-title":"Systems and software engineering - High-level Petri nets - Part 2 Transfer format ISO\/IEC 15909-2","year":"2011","key":"ref21"}],"event":{"name":"2015 IEEE International Conference on Industrial Technology (ICIT)","start":{"date-parts":[[2015,3,17]]},"location":"Seville","end":{"date-parts":[[2015,3,19]]}},"container-title":["2015 IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7108493\/7125066\/07125319.pdf?arnumber=7125319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:03:27Z","timestamp":1498212207000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7125319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":22,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/icit.2015.7125319","relation":{},"subject":[],"published":{"date-parts":[[2015,3]]}}}