{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:32:37Z","timestamp":1725661957401},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642282546"},{"type":"electronic","value":"9783642282553"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28255-3_16","type":"book-chapter","created":{"date-parts":[[2012,2,22]],"date-time":"2012-02-22T14:39:25Z","timestamp":1329921565000},"page":"143-150","source":"Crossref","is-referenced-by-count":16,"title":["Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems"],"prefix":"10.1007","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Chapiro, D.M.: Globally-Asynchronous Locally-Synchronous Systems, Ph.D. Thesis: Stanford University (1984)"},{"key":"16_CR2","unstructured":"Bormann, D.S., Cheung, P.Y.K.: Asynchronous wrapper for heterogeneous systems. In: International Conference on Computer Design, ICCD (1997)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Costa, A., Gomes, L.: Petri net partitioning using net splitting operation. In: Proceedings of the 7th IEEE International Conference on Industrial Informatics, Cardiff, UK (2009)","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-46105-1_34","volume-title":"Advances in Object-Oriented Information Systems","author":"B. Sch\u00e4tz","year":"2002","unstructured":"Sch\u00e4tz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. In: Bruel, J.-M., Bellahs\u00e8ne, Z. (eds.) OOIS 2002. LNCS, vol.\u00a02426, p. 298. Springer, Heidelberg (2002)"},{"key":"16_CR6","unstructured":"De Niz, D., Bhatia, G., Rajkumar, R.: Model-Based Development of Embedded Systems: The SysWeaver Approach. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, Washington, DC, USA (2006)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Borcsok, J., Chaaban, W., Schwarz, M., Sheng, H., Sheleh, O., Batchuluun, B.: An automated software verification tool for model-based development of embedded systems with Simulink. In: XXII International Symposium on Information, Communication and Automation Technologies (ICAT 2009), Bosnia (2009)","DOI":"10.1109\/ICAT.2009.5348445"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bunse, C., Gross, H.G., Peper, C.: Applying a model-based approach for embedded system development. In: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, Washington, DC, USA (2007)","DOI":"10.1109\/EUROMICRO.2007.18"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Gomes, L., Fernandes, J.: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global\u2019s (2009)","DOI":"10.4018\/978-1-60566-750-8"},{"key":"16_CR10","unstructured":"Carloni, L.P., Sangiovanni-Vincentelli, A.L.: A formal modeling framework for deploying synchronous designs on distributed architectures, in In FMGALS: Formal Methods for Globally Asynchronous Locally Asynchronous Architecture. Elsevier, (2003)"},{"key":"16_CR11","unstructured":"Kleijn, H., Koutny, M., Rozenberg, G.: Processes of Petri nets with localities, Technical Report CS-TR-941, School of Computing Science, Newcastle upon Tyne, UK (2006)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Suhaib, S., Mathaikutty, D., Shukla, S.K.: Dataflow architectures for GALS. Electronic Notes in Theoretical Computer Science\u00a0200, 33\u201350 (2008)","DOI":"10.1016\/j.entcs.2008.02.005"},{"key":"16_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: an introduction. Springer-Verlag New York, Inc., NY (1985)"},{"key":"16_CR14","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-19170-1_26","volume-title":"Technological Innovation for Sustainability","author":"F. Moutinho","year":"2011","unstructured":"Moutinho, F., Gomes, L., Barbosa, P., Barros, J.P., Ramalho, F., Figueiredo, J., Costa, A., Monteiro, A.: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In: Camarinha-Matos, L.M. (ed.) Technological Innovation for Sustainability. IFIP AICT, vol.\u00a0349, pp. 237\u2013245. Springer, Heidelberg (2011)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Ribeiro, J., Moutinho, F., Pereira, F., Barros, J.P., Gomes, L.: An Ecore based Petri net Type Definition for PNML IOPT Models. In: INDIN 2011 - 9th IEEE International Conference on Industrial Informatics, Caparica, Lisbon, Portugal (2011)","DOI":"10.1109\/INDIN.2011.6034992"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Gomes, L.: State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets. In: 37th Annual Conf. of the IEEE Industrial Electr. Society, Australia (2011)","DOI":"10.1109\/IECON.2011.6119762"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Gomes, L., Rebelo, R., Barros, J., Costa, A., Pais, R.: From Petri net models to C implementation of digital controllers. In: Proceedings of the ISIE 2010 - IEEE International Symposium on Industrial Electronics, Bari, Italy (2010)","DOI":"10.1109\/ISIE.2010.5637670"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Gomes, L., Costa, A., Barros, J., Lima, P.: From Petri net models to VHDL implementation of digital controllers. In: 33rd Annual Conf. of IEEE Industrial Electr. Society, Taiwan (2007)","DOI":"10.1109\/IECON.2007.4460403"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Value Creation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28255-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:53:27Z","timestamp":1558374807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28255-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642282546","9783642282553"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28255-3_16","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}