{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T05:11:46Z","timestamp":1769922706056,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540263012","type":"print"},{"value":"9783540315599","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11494744_16","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"268-288","source":"Crossref","is-referenced-by-count":40,"title":["High-Level Nets with Nets and Rules as Tokens"],"prefix":"10.1007","author":[{"given":"Kathrin","family":"Hoffmann","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application and Theory of Petri Nets to Workflow Management Systems. The Journal of Circuits, Systems and Computers\u00a08, 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"1-2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","unstructured":"AGG Homepage, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"16_CR4","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":"16_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"16_CR6","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":"16_CR7","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science\u00a01, 361\u2013404 (1991)","journal-title":"Math. Struct. in Comp. Science"},{"key":"16_CR8","series-title":"EATCS Monographs in Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1992","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (1992)"},{"key":"16_CR9","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)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-27755-2_14","volume-title":"Lectures on Concurrency and Petri Nets","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Padberg, J.: Graph Grammars and Petri Net Transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 496\u2013536. Springer, Heidelberg (2004)"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1999-37303","volume":"37","author":"B. Farwer","year":"1999","unstructured":"Farwer, B.: A Linear Logic View of Object Petri Nets. Fundamenta Informaticae\u00a037, 225\u2013246 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR12","unstructured":"GenGED Homepage, http:\/\/tfs.cs.tu-berlin.de\/genged"},{"key":"16_CR13","unstructured":"Hets Homepage, http:\/\/www.tzi.de\/cofi\/hets"},{"key":"16_CR14","first-page":"55","volume-title":"Proc. of 3th Int. Workshop of Communication Based Systems","author":"K. Hoffmann","year":"2000","unstructured":"Hoffmann, K.: Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Constructions. In: Hommel, G. (ed.) Proc. of 3th Int. Workshop of Communication Based Systems, pp. 55\u201372. Kluwer, Dordrecht (2000)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-40020-2_14","volume-title":"Recent Trends in Algebraic Development Techniques","author":"K. Hoffmann","year":"2003","unstructured":"Hoffmann, K., Mossakowski, T.: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. In: Wirsing, M., Pattinson, D., Henicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 253\u2013267. Springer, Heidelberg (2003)"},{"key":"16_CR16","unstructured":"Hoffmann, K., Mossakowski, T.: Integration of Petri nets and Rule-Based Transformations using Algebraic Higher-Order Nets. Technical Report, Technical University of Berlin (2004)"},{"key":"16_CR17","series-title":"EATCS Monographs in Theoretical Computer Science","volume-title":"Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. EATCS Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1992)"},{"issue":"4","key":"16_CR18","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s100090100055","volume":"3","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., Weber, M.: The Petri net kernel \u2013 an infrastructure for building Petri net tools. Software Tools for Technology Transfer\u00a03(4), 486\u2013497 (2001)","journal-title":"Software Tools for Technology Transfer"},{"issue":"2","key":"16_CR19","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":"16_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML - Revised","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML - Revised. MIT Press, Cambridge (1997)"},{"key":"16_CR21","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen (2004)"},{"key":"16_CR22","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":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-40022-6_9","volume-title":"Petri Net Technology for Communication-Based Systems","author":"J. Padberg","year":"2003","unstructured":"Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 161\u2013196. Springer, Heidelberg (2003)"},{"key":"16_CR24","volume-title":"Electronic Notes in Theoretical Computer Science","author":"F. Parisi-Presicce","year":"2001","unstructured":"Parisi-Presicce, F.: On modifying high level replacement systems. In: Ehrig, H., Ermel, C., Padberg, J. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a044. Elsevier, Amsterdam (2001)"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A. Ratzer","year":"2003","unstructured":"Ratzer, A., Wells, L., Lassen, H., Laursen, M., Qvortrup, J., Stissing, M., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"16_CR26","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"16_CR27","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":"16_CR28","doi-asserted-by":"crossref","unstructured":"Silbertin-Blanc, C.: The Hurried Philosophers. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 536\u2013537. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45397-0_24"},{"key":"16_CR29","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 Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-45397-0_5","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"R. Valk","year":"2001","unstructured":"Valk, R.: Concurrency in Communicating Object Petri Nets. In: Agha, G., de Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 164\u2013195. Springer, Heidelberg (2001)"},{"key":"16_CR31","unstructured":"Wienberg, F.: Informations- und prozeorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen. PhD thesis, University Hamburg (2001)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T23:23:20Z","timestamp":1591485800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11494744_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}