{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:07:18Z","timestamp":1729620438722,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/indin.2014.6945489","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T22:52:14Z","timestamp":1415832734000},"page":"88-93","source":"Crossref","is-referenced-by-count":0,"title":["A platform independent communication support for distributed controller systems modelled by Petri nets"],"prefix":"10.1109","author":[{"given":"Edgar M.","family":"Silva","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Malo","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675332"},{"key":"17","article-title":"MDA-based methodology for verifying distributed execution of embedded systems models, formal met","author":"costa","year":"2013","journal-title":"IGI Global"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505176"},{"key":"15","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","article-title":"On the unification power of models","volume":"4","author":"b\ufffdzivin","year":"2005","journal-title":"Software & Systems Modeling"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/I-ESA.2009.58"},{"key":"13","article-title":"Behavioral modeling for embedded systems and technologies: Applications for design and implementation","author":"gomes","year":"2009","journal-title":"IGI Global"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314754"},{"key":"11","first-page":"203","article-title":"A brief introduction to coloured Petri Nets","author":"jensen","year":"1997","journal-title":"Tools and Algorithms for the Construct and Analysis of Syst"},{"key":"12","article-title":"Modeling intelligent embedded real-time systems using high-level petri nets","author":"rust","year":"2001","journal-title":"Proceedings of the Forum on Design Languages FDL"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2013.6563867"},{"key":"3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-642-28255-3_16","article-title":"Asynchronous-channels and time-domains extending petri nets for gals systems","author":"moutinho","year":"2012","journal-title":"IFIP Adv in Tech Innov for Value Creation"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034992"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"journal-title":"Kommunikation mit Automaten","year":"1962","author":"petri","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248731"},{"journal-title":"Petri nets for System Engineering A Guide to Modeling Verification and Applications","year":"2001","author":"girault","key":"7"},{"journal-title":"Las Redes de Petri en la Autom\ufffdtica y la Inform\ufffdtica","year":"0","author":"silva","key":"6"},{"key":"5","first-page":"51","volume":"234","author":"version","year":"2003","journal-title":"MDA Guide Version 1 0 1"},{"key":"4","first-page":"50","volume":"1","author":"chapiro","year":"1984","journal-title":"Globally-Asynchronous Locally-Synchronous Systems"},{"key":"9","first-page":"509","article-title":"The input-output place-transition petri net class and associated tools","volume":"1","author":"gomes","year":"2007","journal-title":"IEEE Int Conf Industrial Informatics"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"}],"event":{"name":"2014 12th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2014,7,27]]},"location":"Porto Alegre RS, Brazil","end":{"date-parts":[[2014,7,30]]}},"container-title":["2014 12th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926648\/6945470\/06945489.pdf?arnumber=6945489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T00:03:41Z","timestamp":1498176221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6945489\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/indin.2014.6945489","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}