{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T18:26:49Z","timestamp":1772303209641,"version":"3.50.1"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:00:00Z","timestamp":1414800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Agency Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia (FCT)"},{"name":"FCT","award":["SFRH\/BD\/62171\/2009"],"award-info":[{"award-number":["SFRH\/BD\/62171\/2009"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/tii.2014.2341933","type":"journal-article","created":{"date-parts":[[2014,7,23]],"date-time":"2014-07-23T20:10:36Z","timestamp":1406146236000},"page":"2024-2033","source":"Crossref","is-referenced-by-count":47,"title":["Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling"],"prefix":"10.1109","volume":"10","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2013.6505879"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2157136"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04856-2_4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/41.334581"},{"key":"ref31","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","volume":"372","author":"moutinho","year":"2012","journal-title":"Technological Innovation for Value Creation"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-45397-0_16","article-title":"Object coloured Petri nets—A formal technique for object oriented modelling","author":"maier","year":"2001","journal-title":"Concurrent Object-Oriented Programming and Petri Nets"},{"key":"ref34","first-page":"159","article-title":"Coloured Petri nets extended with channels for synchronous communication","volume":"815","author":"christensen","year":"1994","journal-title":"Application and Theory of Petri Nets"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2226594"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37291-9_24"},{"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\/41.334574"},{"key":"ref14","author":"girault","year":"2003","journal-title":"Petri nets for System Engineering A Guide to Modeling Verification and Applications"},{"key":"ref15","first-page":"9","article-title":"A primer on the Petri net markup language and ISO\/IEC 15909-2","volume":"24","author":"hillah","year":"2009","journal-title":"Petri Net Newslett"},{"key":"ref16","first-page":"374","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"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref18","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":"Fundamente der Informatik"},{"key":"ref19","first-page":"57","article-title":"Editing, visualizing, and implementing signal interpreted Petri nets","author":"frey","year":"0","journal-title":"Proc 7th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN’00)"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-45740-2_3","article-title":"Towards a notion of distributed time for Petri nets","volume":"2075","author":"nielsen","year":"0","journal-title":"Applications and Theory of Petri Nets 2001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"},{"key":"ref27","article-title":"Analysing signal net systems","author":"starke","year":"2002","journal-title":"Institut für Informatik Humboldt-Universität zu Berlin"},{"key":"ref3","first-page":"152","article-title":"Bringing the model-based verification of distributed control systems into the engineering practice","author":"vyatkin","year":"0","journal-title":"Proc 6th IFAC Workshop Intell Manuf Syst"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2174248"},{"key":"ref29","article-title":"Processes of Petri nets with localities","author":"kleijn","year":"2006","journal-title":"School Comput Sci"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2072511"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2205399"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2211608"},{"key":"ref2","article-title":"Object Management Group.","year":"2013"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2240308"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2027059"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2013.6563867"},{"key":"ref20","first-page":"509","article-title":"The input–output place-transition Petri net class and associated tools","author":"gomes","year":"0","journal-title":"Proc 5th IEEE Int Conf Ind Inform"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2012.6237288"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1109\/MDT.2007.164","article-title":"Globally asynchronous, locally synchronous circuits: Overview and outlook","volume":"24","author":"grass","year":"2007","journal-title":"IEEE Des Test Comput"},{"key":"ref21","author":"chapiro","year":"1984","journal-title":"Globally-Asynchronous Locally-Synchronous Systems"},{"key":"ref42","author":"grevet","year":"0","journal-title":"Lab Inf Decision Syst Massachusetts Inst Tech"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2012.2191404"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9_3"},{"key":"ref23","article-title":"Is there hope for GALS in the future?","author":"grkaynak","year":"0","journal-title":"Proc 4th ACiD-WG Workshop Eur Comm Fifth Framework Prog"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6699475"},{"key":"ref26","first-page":"335","article-title":"Practice of modeling and verification of distributed controllers using signal net systems","author":"vyatkin","year":"0","journal-title":"Report Proc Int Workshop Concurrency Specification Prog"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034908"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2012.6237295"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9424\/6945918\/06862891.pdf?arnumber=6862891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:06:06Z","timestamp":1642003566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6862891\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":46,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tii.2014.2341933","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11]]}}}