{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T02:08:03Z","timestamp":1769911683296,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205371","type":"print"},{"value":"9783540400202","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_14","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"253-267","source":"Crossref","is-referenced-by-count":9,"title":["Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens"],"prefix":"10.1007","author":[{"given":"Kathrin","family":"Hoffmann","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","year":"2001","unstructured":"Agha, G., De Cindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol.\u00a02001. Springer, Heidelberg (2001)"},{"key":"14_CR2","unstructured":"The bremen cofi homepage"},{"key":"14_CR3","unstructured":"Casl \u2013 The CoFI Algebraic Specification Language \u2013 Summary, version 1.0. Documents\/CASL\/Summary. In: [CoF] (July 1999)"},{"key":"14_CR4","unstructured":"CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives, \n                    \n                      http:\/\/www.cofi.info"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"Graph Grammars and Their Application to Computer Science","year":"1991","unstructured":"Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.): Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 269\u2013291. Springer, Heidelberg (1991)"},{"key":"14_CR6","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, E., 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)"},{"key":"14_CR7","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Berlin (1985)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-57867-6_11","volume-title":"Recent Trends in Data Type Specification","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic High-Level Nets: Petri Nets Revisited. In: Ehrig, H., Orejas, F. (eds.) Abstract Data Types 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 188\u2013206. Springer, Heidelberg (1994)"},{"key":"14_CR9","unstructured":"Ermel, C.: Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen. Technical Report 96-15, TU Berlin (Masters Thesis TU Berlin) (1996)"},{"key":"14_CR10","unstructured":"Gajewsky, M., Hoffmann, K., Padberg, J.: Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place\/Transition Systems. Technical Report 99-14, Technical University Berlin (1999)"},{"key":"14_CR11","unstructured":"Han, Y.: Software Infrastructure for Configurable Workflow System - A Model-Driven Approach Based on Higher-Order Nets and CORBA. PhD thesis, Technical University of Berlin (1997)"},{"key":"14_CR12","unstructured":"Hannebauer, M.: Autonomous Dynamic Reconfiguration in Collaborative Problem Solving. PhD thesis, Technical University Berlin (2000)"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-94-015-9608-4_5","volume-title":"Communication-Based Systems, Proceedings of the 3rd International Workshop","author":"K. Hoffmann","year":"2000","unstructured":"Hoffmann, K.: Runtime Modifikation between Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction. In: Hommel, G. (ed.) Communication-Based Systems, Proceedings of the 3rd International Workshop, TU Berlin, pp. 55\u201372. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science\u00a05, 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR15","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45719-4_8","volume-title":"Algebraic Methodology and Software Technology","author":"L. Schr\u00f6der","year":"2002","unstructured":"Schr\u00f6der, L., Mossakowski, T.: HasCasl: Towards integrated specification and development of Haskell programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 99\u2013116. Springer, Heidelberg (2002)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as Token Objects: An Introduktion to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","first-page":"164","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"R. Valk","year":"2000","unstructured":"Valk, R.: Concurrency in Communicating Object Petri Nets. In: Agha, G., de Cindio, F., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets. LNCS, pp. 164\u2013195. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T21:40:31Z","timestamp":1552599631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}