{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:59:07Z","timestamp":1760608747296},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642372902"},{"type":"electronic","value":"9783642372919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37291-9_24","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T14:32:16Z","timestamp":1366036336000},"page":"221-228","source":"Crossref","is-referenced-by-count":2,"title":["Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification"],"prefix":"10.1007","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","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 Workshops. LNCS, vol.\u00a02426, pp. 298\u2013311. Springer, Heidelberg (2002)"},{"key":"24_CR2","unstructured":"Rust, C., Kleinjohann, B.: Modeling Intelligent Embedded Real-Time Systems using High-Level Petri Nets. In: Proceedings of the Forum on Design Languages, FDL (2001)"},{"key":"24_CR3","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":"24_CR4","unstructured":"Gomes, L., Fernandes, J. (eds.): Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global\u2019s (2009) ISBN 978-1-60566-750-8"},{"issue":"7","key":"24_CR5","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1109\/5.293155","volume":"82","author":"W.H. Wolf","year":"1994","unstructured":"Wolf, W.H.: Hardware-software co-design of embedded systems [and prolog]. Proceedings of the IEEE\u00a082(7), 967\u2013989 (1994)","journal-title":"Proceedings of the IEEE"},{"key":"24_CR6","unstructured":"Chapiro, D.M.: Globally-Asynchronous Locally-Synchronous Systems. Ph.D. Thesis: Stanford University (1984)"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.108047","volume":"25","author":"D. Harel","year":"1992","unstructured":"Harel, D.: Biting the silver bullet: toward a brighter future for system development. Computer\u00a025(1), 8\u201320 (1992)","journal-title":"Computer"},{"key":"24_CR8","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":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-45740-2_3","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. Nielsen","year":"2001","unstructured":"Nielsen, M., Sassone, V., Srba, J.: Towards a Notion of Distributed Time for Petri Nets. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 23\u201331. Springer, Heidelberg (2001)"},{"key":"24_CR10","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":"24_CR11","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-28255-3_16","volume-title":"Technological Innovation for Value Creation","author":"F. Moutinho","year":"2012","unstructured":"Moutinho, F., Gomes, L.: Asynchronous-channels and time-domains extending Petri nets for GALS systems. In: Camarinha-Matos, L.M., Shahamatnia, E., Nunes, G. (eds.) DoCEIS 2012. IFIP AICT, vol.\u00a0372, pp. 143\u2013150. Springer, Heidelberg (2012)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BFb0019974","volume-title":"Advances in Petri Nets 1991","author":"R. Hopkins","year":"1991","unstructured":"Hopkins, R.: Distributable nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 161\u2013187. Springer, Heidelberg (1991)"},{"issue":"6","key":"24_CR13","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s001650200022","volume":"13","author":"E. Badouel","year":"2002","unstructured":"Badouel, E., Caillaud, B., Darondeau, P.: Distributing finite automata through Petri net synthesis. Formal Asp. Comput.\u00a013(6), 447\u2013470 (2002)","journal-title":"Formal Asp. Comput."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Van Glabbeek, R., Goltz, U., Schicke, J.-W.: On synchronous and asynchronous interaction in distributed systems. CoRR, abs\/0901.0048 (2009)","DOI":"10.1007\/978-3-540-85238-4_2"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-28729-9_22","volume-title":"Foundations of Software Science and Computational Structures","author":"R. Glabbeek Van","year":"2012","unstructured":"Van Glabbeek, R., Goltz, U., Schicke-Uffmann, J.-W.: On distributability of Petri nets. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol.\u00a07213, pp. 331\u2013345. Springer, Heidelberg (2012)"},{"issue":"76","key":"24_CR16","first-page":"9","volume":"24","author":"L. Hillah","year":"2009","unstructured":"Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Treves, N.: A primer on the Petri Net Markup Language and ISO\/IEC 15909-2. Petri Net Newsletter\u00a024(76), 9\u201328 (2009) (Originally Presented at the 10th International Workshop on Practical Use of Colored Petri Nets and the CPN Tools \u2013 CPN 2009)","journal-title":"Petri Net Newsletter"},{"issue":"3-4","key":"24_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer (STTT)\u00a09(3-4), 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"24_CR18","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"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for the Internet of Things"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37291-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T01:12:32Z","timestamp":1688173952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37291-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642372902","9783642372919"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37291-9_24","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}