{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T04:17:04Z","timestamp":1743221824578,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308345"},{"type":"electronic","value":"9783642308352"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","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-30835-2_2","type":"book-chapter","created":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T13:18:36Z","timestamp":1338470316000},"page":"10-25","source":"Crossref","is-referenced-by-count":1,"title":["Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Gabriel","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Zilles, S.: Algebraic specification of data types. Project MAC Progress Report 11, 28\u201352. MIT (1974)"},{"key":"2_CR2","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Abstract data types as initial algebras and the correctness of data representations. In: Proc. of Conf. on Computer Graphics (1975)"},{"key":"2_CR3","unstructured":"Guttag, J.: The specification and application to programming of abstract data types. PhD thesis, University of Toronto (1975)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-10003-2_68","volume-title":"Automata, Languages and Programming","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parametrized Data Types in Algebraic Specification Languages. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 157\u2013168. Springer, Heidelberg (1980)"},{"key":"2_CR5","unstructured":"Hupbach, U., Kaphengst, H., Reichel, H.: Initial algebraic specification of data types, parameterized data types and algorithms. Technical Report\u00a015, VEB Robotron ZFT, Dresden (1980)"},{"key":"2_CR6","unstructured":"CIP Language Group: Report on a wide spectrum language for program specification and development. Technical Report TUM-I8104, TU M\u00fcnchen (1981); also available as Springer LNCS 183"},{"key":"2_CR7","unstructured":"Petri, C.: Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr instrumentelle Mathematik, Universit\u00e4t Bonn (1962)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri Nets Are Monoids. Information and Computation\u00a088(2), 105\u2013155 (1990)","journal-title":"Information and Computation"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-47919-2_4","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Rozenberg","year":"1987","unstructured":"Rozenberg, G.: Behaviour of Elementary Net Systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 60\u201394. Springer, Heidelberg (1987)"},{"key":"2_CR11","volume-title":"Petrinetze, Eine Einf\u00fchrung","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petrinetze, Eine Einf\u00fchrung. Springer, Berlin (1985)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-53863-1_31","volume-title":"Advances in Petri Nets 1990","author":"K. Jensen","year":"1991","unstructured":"Jensen, K.: Coloured Petri Nets: A High-Level Language for System Design and Analysis. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 342\u2013416. Springer, Heidelberg (1991)"},{"key":"2_CR13","first-page":"116","volume-title":"Proceedings of the 9th International Conference on Software Engineering. ICSE 1987","author":"B. Kr\u00e4mer","year":"1987","unstructured":"Kr\u00e4mer, B.: Segras \u2013 a formal and semigraphical language combining petri nets and abstract data types for the specification of distributed systems. In: Proceedings of the 9th International Conference on Software Engineering. ICSE 1987, pp. 116\u2013125. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"2_CR14","unstructured":"Kr\u00e4mer, B.: Concepts, Syntax and semantics of Segras, a specification language for distributed systems. PhD thesis, Technische Universt\u00e4t Berlin (1989)"},{"key":"2_CR15","unstructured":"Hummert, U.: Algebraische High-Level Netze. PhD thesis, Technische Universt\u00e4t Berlin (1989)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theoretical Computer Science\u00a080 (1991)","DOI":"10.1016\/0304-3975(91)90203-E"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BFb0019971","volume-title":"Advances in Petri Nets 1991","author":"C. Dimitrovici","year":"1991","unstructured":"Dimitrovici, C., Hummert, U., Petrucci, L.: Semantics, Composition and Net Properties of Algebraic High-Level Nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 93\u2013117. Springer, Heidelberg (1991)"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"80","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science\u00a080, 217\u2013259 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR19","first-page":"52","volume":"61","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Reisig, W.: An Algebraic View on Petri Nets. Bulletin of the EATCS\u00a061, 52\u201358 (1997)","journal-title":"Bulletin of the EATCS"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-45711-9_12","volume-title":"Formal and Natural Computing","author":"H. Ehrig","year":"2002","unstructured":"Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., Heckel, R.: High-Level Net Processes. In: Brauer, W., Ehrig, H., Karhum\u00e4ki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol.\u00a02300, pp. 191\u2013219. Springer, Heidelberg (2002)"},{"issue":"3","key":"2_CR21","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FUN-2005-65302","volume":"65","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H.: Behaviour and Instantiation of High-Level Petri Net Processes. Fundamenta Informaticae\u00a065(3), 211\u2013247 (2005)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (A Survey). In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"2_CR23","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"2_CR24","unstructured":"Gabriel, K.: Composition and transformation of high-level petri net-processes. Diploma thesis, Technische Universt\u00e4t Berlin (2009)"},{"key":"2_CR25","first-page":"207","volume":"5, Part1","author":"H. Ehrig","year":"2011","unstructured":"Ehrig, H., Gabriel, K.: Transformation of algebraic high-level nets and amalgamation of processes with applications to communication platforms. International Journal of Software and Informatics\u00a05, Part1, 207\u2013229 (2011)","journal-title":"International Journal of Software and Informatics"},{"key":"2_CR26","unstructured":"Gabriel, K.: Algebraic high-level nets and processes applied to communication platforms. Technical Report 2010\/14, Technische Universit\u00e4t Berlin (2010)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Gabriel, K., Ehrig, H.: Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. Theoretical Computer Science (2012)","DOI":"10.1016\/j.tcs.2011.12.027"},{"key":"2_CR28","unstructured":"Gabriel, K.: Modelling Evolution of Communication Platforms and Scenarios based on Transformations of High-Level Nets and Processes \u2013 Extended Version. Technical Report 2011\/08, Technische Universit\u00e4t Berlin (2011)"},{"key":"2_CR29","first-page":"1","volume":"30","author":"K. Hoffmann","year":"2010","unstructured":"Hoffmann, K., Modica, T.: Formal modeling of communication platforms using reconfigurable algebraic high-level nets. ECEASST\u00a030, 1\u201325 (2010)","journal-title":"ECEASST"},{"key":"2_CR30","unstructured":"Google (February 2012), http:\/\/google.com"},{"key":"2_CR31","unstructured":"Apache Software Foundation (February 2012), http:\/\/apache.org"},{"key":"2_CR32","unstructured":"Apache Wave (February 2012), http:\/\/incubator.apache.org\/wave\/"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"2\/3","key":"2_CR34","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The Non-sequential Behavior of Petri Nets. Information and Control\u00a057(2\/3), 125\u2013147 (1983)","journal-title":"Information and Control"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-44685-0_34","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional Modeling of Reactive Systems Using Open Nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 502\u2013518. Springer, Heidelberg (2001)"},{"key":"2_CR36","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS. Springer (2006)"}],"container-title":["Lecture Notes in Computer Science","Software Service and Application Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30835-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T03:32:52Z","timestamp":1743219172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30835-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308345","9783642308352"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30835-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}