{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:36Z","timestamp":1725489756816},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430674"},{"type":"electronic","value":"9783540455417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45541-8_2","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T10:55:33Z","timestamp":1187261733000},"page":"26-53","source":"Crossref","is-referenced-by-count":2,"title":["The \u226bPetri Net Baukasten\u226a: An Overview"],"prefix":"10.1007","author":[{"given":"Meike","family":"Gajewsky","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"2_CR1","unstructured":"J. Dehnert. The Common Base of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 211\u2013229."},{"key":"2_CR2","unstructured":"DFG-Forschergruppe Petri Net Technology. Initial realization of the \u226bPetri Net Baukasten\u226a. Informatik-Berichte 129, Humboldt-Universit\u00e4t zu Berlin, October 1999."},{"key":"2_CR3","unstructured":"W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation, 8, May 1991."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"J. Dehnert, M. Gajewsky, S. Lembke, and H. Weber. The Petri Net Baukasten: Second Installment. In Proceedings of ETAPS-UniGra. Elsevier, 2001. To Appear.","DOI":"10.1016\/S1571-0661(04)80948-4"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"C. Dimitrovici, U. Hummert, and L. Petrucci. Composition and net properties of algebraic high-level nets. In Advances of Petri Nets. Springer Verlag, Lecture Notes in Comp. Science 524, 1991.","DOI":"10.1007\/BFb0019971"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Gajewsky, and U. Wolter. From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms. In Proc. of Workshop on Algebraic Development Techniques, pages 1\u201317. Springer Verlag, Lecture Notes in Comp. Science 1376, 1998.","DOI":"10.1007\/3-540-64299-4_25"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361\u2013404, 1991.","journal-title":"Math. Struct. in Comp. Science"},{"key":"2_CR8","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","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":"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":"2_CR9","unstructured":"H. Ehrig, F. Orejas, and J. Padberg. Relevance, integration and classification of specification formalisms and formal specification techniques. In Proc. FORMS\u201999, Braunschweig, Germany, 1999."},{"key":"2_CR10","doi-asserted-by":"crossref","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-Theory-Cognition. Springer Verlag, Lecture Notes in Comp. Science 1337, 1997.","DOI":"10.1007\/BFb0052090"},{"key":"2_CR11","doi-asserted-by":"crossref","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, Lecture Notes in Comp. Science 785, 1994.","DOI":"10.1007\/3-540-57867-6_11"},{"key":"2_CR12","first-page":"52","volume":"61","author":"Hartmut Ehrig","year":"1997","unstructured":"Hartmut Ehrig and Wolfgang Reisig. An algebraic view on Petri nets. Bulletin of the EATCS, 61:52\u201358, February 1997.","journal-title":"Bulletin of the EATCS"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"C. Ermel and M. Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets. Springer Verlag, Advances in Petri Nets, 2001. In this volume.","DOI":"10.1007\/3-540-45541-8_4"},{"key":"2_CR14","unstructured":"M. Gajewsky. The Expert View of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 243\u2013265."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95\u2013146, January 1992.","DOI":"10.1145\/147508.147524"},{"key":"2_CR16","unstructured":"M. Gajewsky and C. Ermel. Transition Invariants in Algebraic High-Level Nets. In A. Ertas, editor, 4 th World Conference on Integrated Design and Process Technology, 1999\/2000. CD-ROM, 8 pages."},{"key":"2_CR17","unstructured":"U. Hummert. Algebraische High-Level Netze. PhD thesis, Technische Universit\u00e4t Berlin, 1989."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, volume 3: Practical Use. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1997.","DOI":"10.1007\/978-3-642-60794-3"},{"key":"2_CR19","unstructured":"Ekkart Kindler and Michael Weber. The Petri Net Kernel: An infrastructure for building Petri net tools. In Petri Nets\u2019 99. 20 th International Conference on Application and Theory of Petri Nets. Petri Net Tool Presentations, Williamsburg, USA, June 1999."},{"key":"2_CR20","unstructured":"Ekkart Kindler and Michael Weber. The Petri Net Kernel. Documentation of the Application Interface. PNK Version 2.0. Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik, January 1999. http:\/\/www.informatik.hu-berlin.de\/ kindler\/PN-Kern\/ ."},{"key":"2_CR21","unstructured":"S. Lembke. The Application Developer View of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 231\u2013241."},{"key":"2_CR22","unstructured":"J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, Digital Systems Laoratory, Research Report 33, 1995."},{"key":"2_CR23","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1970","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer Verlag, Berlin Heidelberg New York, 1970."},{"issue":"2","key":"2_CR24","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":"2_CR25","first-page":"21","volume":"13","author":"T. Mochel","year":"1993","unstructured":"T. Mochel, A. Oberweis, and V. S\u00e4nger. INCOME\/STAR: The Petri net simulation concepts. Systems Analysis-Modelling-Simulation, Journal of Modelling and Simulation in Systems Analysis, 13:21\u201336, 1993.","journal-title":"Systems Analysis-Modelling-Simulation, Journal of Modelling and Simulation in Systems Analysis"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"A. Martini and U. Wolter. A systematic study of mappings between institutions. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, pages 300\u2013315. 12th International Workshop, WADT\u201997, Tarquinia, Italy, June 1997, Selected Papers, Springer Verlag, Lecture Notes in Comp. Science 1376, 1998.","DOI":"10.1007\/3-540-64299-4_41"},{"key":"2_CR28","unstructured":"Incorporated Merriam-Webster. WWWebster Dictionary, 1999. http:\/\/www.m-w.com\/dictionary ."},{"key":"2_CR29","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag, 1996."},{"key":"2_CR30","unstructured":"J. Padberg. Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets. In Proc. WADT 98, pages 240\u2013259. Springer Verlag, Lecture Notes in Comp. Science 1589, 1998."},{"key":"2_CR31","unstructured":"Julia Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACTS 66, 1998."},{"key":"2_CR32","unstructured":"J. Padberg. The Petri Net Baukasten: An Application-Oriented Petri Net Technology. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 191\u2013209."},{"key":"2_CR33","doi-asserted-by":"crossref","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":"2_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BFb0053593","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Padberg","year":"1998","unstructured":"J. Padberg, M. Gajewsky, and C. Ermel. Rule-Based Refinement of High-Level Nets Preserving Safety Properties. In E. Astesiano, editor, Fundamental Approaches to Software Engineering, pages 221\u2013238. Springer Verlag, Lecture Notes in Computer Science 1382, 1998."},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Julia Padberg, Kathrin Hoffmann, and Maike Gajewsky. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, pages 249\u2013265. Springer Verlag, Lecture Notes in Comp. Science 1783, 2000.","DOI":"10.1007\/3-540-46428-X_18"},{"key":"2_CR36","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985."},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"2_CR38","unstructured":"K. Schmidt. Symbolische Analysemethoden f\u00fcr algebraische Petri-Netze. PhD thesis, Humboldt-Universit\u00e4t zu Berlin, 1996."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"E. Schnieder, editor. Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge f\u00fcr Automatisierungssysteme. Studium Technik. Vieweg, 1999.","DOI":"10.1007\/978-3-322-90879-7"},{"key":"2_CR40","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume-title":"Advances in Petri Nets 87","author":"J. Vautherin","year":"1987","unstructured":"J. Vautherin. Parallel System Specification with Coloured Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 87, pages 293\u2013308. Springer Verlag, 1987. Lecture Notes in Computer Science 266."},{"key":"2_CR41","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management-Models, Techniques and Empirical Studies","year":"2000","unstructured":"van der Aalst, W., Desel, J., and Oberweis, A., editors. Business Process Management-Models, Techniques and Empirical Studies, Springer Verlag, Lecture Notes in Computer Science 1806, 2000."},{"key":"2_CR42","unstructured":"M. Weber. The Tool Developer View of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 267\u2013277."},{"key":"2_CR43","unstructured":"H. Weber, H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"H. Weber, S. Lembke, and A. Borusan. Improving the Usability of Petri Nets with the \u226bPetri Net Baukasten\u226a. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets, Springer Verlag Advances in Petri Nets, 2001. In this volume.","DOI":"10.1007\/3-540-45541-8_3"},{"key":"2_CR45","unstructured":"Workflow Management Coalition. Homepage of the Workflow Management Coalition. http:\/\/www.aiim.org\/wfmc\/mainframe.htm , 2000."}],"container-title":["Lecture Notes in Computer Science","Unifying Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45541-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:25:05Z","timestamp":1556771105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}