{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T17:56:09Z","timestamp":1790877369392,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540431909","type":"print"},{"value":"9783540457114","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45711-9_12","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:31:39Z","timestamp":1180405899000},"page":"191-219","source":"Crossref","is-referenced-by-count":7,"title":["High-Level Net Processes"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kathrin","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julia","family":"Padberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Baldan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,2,14]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional Modeling of Reactive Systems Using Open Nets. In Proc. of CONCUR\u201901, 2001. To appear.","DOI":"10.1007\/3-540-44685-0_34"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In Proc. of LICS\u201989, pages 175\u2013185, 1989.","DOI":"10.1109\/LICS.1989.39172"},{"key":"12_CR3","unstructured":"H. Ehrig, M. Gro\u03b2e-Rhode, and A. Heise. Specification Techniques for Concurrent and Distributed Systems. Technical Report 92\/5, Technical University of Berlin, jan. 1992. Invited paper for 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis, 1992."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Gajewsky, and F. Parisi-Presicce. High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, chapter 6, pages 341\u2013400. Number 3: Concurrency, Parallelism, and Distribution in Handbook of Graph Grammars and Computingb y Graph Transformations. World Scientific, 1999.","DOI":"10.1142\/9789812814951_0006"},{"key":"12_CR5","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985."},{"key":"12_CR6","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1990."},{"key":"12_CR7","first-page":"106","volume":"62","author":"H. Ehrig","year":"1997","unstructured":"H. Ehrig, A. Merten, and J. Padberg. How to Transfer Concepts of Abstract Data Types to Petri Nets. EACTS Bulletin, 62:106\u2013104, 1997.","journal-title":"EACTS Bulletin"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica, 28:575\u2013591, 1991.","journal-title":"Acta Informatica"},{"key":"12_CR9","unstructured":"H. Ehrig and F. Orejas. A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. In Proc. GTVMT 2001, ICALP 2001 Satellite Workshops, pages 201\u2013228, Heraclion, Greece, 2001."},{"key":"12_CR10","unstructured":"H. Ehrig and F. Orejas. A Generic Component Concept for Integrated Data Type and Process Specification Techniques. Technical report, Technische Universit\u00e4t Berlin, FB Informatik, 2001."},{"key":"12_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BFb0052090","volume-title":"Foundations of Computer Science: Potential\u2014 Theory\u2014 Cognition","author":"H. Ehrig","year":"1997","unstructured":"H. Ehrig and J. Padberg. A Uniform Approach to Petri Nets. In Ch. Freksa, M. Jantzen, and R. Valk, Editors, Foundations of Computer Science: Potential\u2014 Theory\u2014 Cognition, pages 219\u2013231. Springer, LNCS 1337, 1997."},{"key":"12_CR12","unstructured":"H. Ehrig and J. Padberg. Introduction to Universal Parametrized Net Classes. In H. Weber, H. Ehrig, and W. Reisig, Editors, MoveOn-Proc. der DFG-Forschergruppe\u201cPetrinetz-Technologie\u201d, pages 39\u201351, Technische Universit\u00e4t Berlin, 1997. Forschungsberichte des Fachbereichs Informatik."},{"key":"12_CR13","unstructured":"C. Ermel and J. Padberg. Formalization of Variables in Algebraic High-Level Nets. Technical Report 97-19, Technical University Berlin, 1997."},{"key":"12_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic High-Level Nets: Petri Nets Revisited. In Recent Trends in Data Type Specification, pages 188\u2013206. Springer Verlag, 1994. Lecture Notes in Computer Science 785."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"H.J. Genrich. Predicate\/Transition Nets. In High-Level Petri Nets: Theory and Application, pages 3\u201343. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"12_CR16","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig. The Non-Sequential Behaviour of Petri Nets. In Information and Computation, volume 57, pages 125\u2013147. Academic Press, 1983.","journal-title":"Information and Computation"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"K. Hoffmann. Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets Using Folding and Unfolding Construction. In Proceeding of the 3rd Internation Workshop Communication Based Systems, pages 55\u201372. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-94-015-9608-4_5"},{"key":"12_CR18","unstructured":"K. Hoffmann. Flexible Modellierung mit Algebraischen Higher Order Netzen. In Proceeding of the Workshop Modellierung 2001, pages 101\u2013110."},{"key":"12_CR19","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science Edition, 1992."},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri Nets Are Monoids. Information and Computation, 88(2):105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. On the Semantics of Place\/Transition Petri Nets. Mathematical Structures in Computer Science, 7:359\u2013397, 1997.","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science, 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"12_CR23","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"key":"12_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"J. Padberg","year":"2001","unstructured":"J. Padberg and H. Ehrig. Introduction to Parametrized Net Classes. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, Editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science, 5:217\u2013256, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR26","first-page":"3","volume":"5","author":"J. Padberg","year":"2001","unstructured":"J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel. Cooperability in Train Control Systems Specification of Scenarios Using Open Nets. Journal of Integrated Design and Process Technology, 5:3\u201321, 2001.","journal-title":"Journal of Integrated Design and Process Technology"},{"key":"12_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-47919-2_4","volume-title":"Advances in Petri Nets 1986","author":"G. Rozenberg","year":"1987","unstructured":"G. Rozenberg. Behaviour of Elementary Net Systems. In W. Brauer, W. Reisig, and G. Rozenberg, Editors, Advances in Petri Nets 1986, pages 60\u201394. Springer Verlag Berlin, LNCS 254, 1987."},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8:21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"12_CR29","unstructured":"R. v. Glabbeck and G. Plotkin. Configuration Structures. In Proc. 10th LICS Symposium. IEEE, 1995."},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Petri Nets, Algebras, Morphisms, and Compositionality. Information and Computation, 72:197\u2013238, 1987.","journal-title":"Information and Computation"},{"key":"12_CR31","series-title":"Lect Notes Comput Sci","first-page":"324","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G. Winskel","year":"1988","unstructured":"G. Winskel. Event Structures. In W. Brauer, W. Reisig, and G. Rozenberg, Editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, pages 324\u2013392. Springer, LNCS 255, 1988."}],"container-title":["Lecture Notes in Computer Science","Formal and Natural Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45711-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:48:53Z","timestamp":1737053333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45711-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431909","9783540457114"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45711-9_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}