{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:43:04Z","timestamp":1725489784896},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_4","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T10:55:33Z","timestamp":1187261733000},"page":"79-102","source":"Crossref","is-referenced-by-count":5,"title":["Implementation of Parameterized Net Classes with the Petri Net Kernel of the \u226bPetrinetz-Baukasten\u226a"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Ermel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-50580-6_22","volume-title":"Advances in Petri nets","author":"E. Battiston","year":"1988","unstructured":"E. Battiston, F. De Cindio, and G. Mauri. OBJSA Nets: a Class of High-level Nets having Objects as Domains. In G. Rozenberg, editor, Advances in Petri nets, volume 340 of LNCS, pages 20\u201343. Springer Verlag Berlin, 1988."},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets, pages 21\u201369. Springer, LNCS no. 609, 1992."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Nets, Advances in Petri Nets","author":"A. Borusan","year":"2001","unstructured":"A. Borusan, S. Lembke, and H. Weber. Improving the Usability of Petri Nets with the \u226bPetri Net Baukasten\u226a. In G. Rozenberg, J. Padberg, H. Ehrig, and G. Juh\u00e1s, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume)."},{"key":"4_CR4","unstructured":"J. Dehnert. The Common Base of the \u226bPetri Net Baukasten\u226a. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 211\u2013229. Fraunhofer Gesellschaft ISST, October 1999."},{"key":"4_CR5","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":"4_CR6","first-page":"52","volume":"61","author":"H. Ehrig","year":"1996","unstructured":"H. Ehrig and W. Reisig. Integration of Algebraic Specifications and Petri Nets. Bulletin EATCS, Formal Specification Column, (61):52\u201358, 1996.","journal-title":"Bulletin EATCS, Formal Specification Column"},{"key":"4_CR7","unstructured":"M. Gajewsky. The Expert View of the \u226bPetri Net Baukasten\u226a. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 243\u2013265. Fraunhofer Gesellschaft ISST, October 1999."},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Nets, Advances in Petri Nets","author":"M. Gajewsky","year":"2001","unstructured":"M. Gajewsky and H. Ehrig. The \u226bPetri Net Baukasten\u226a: An Overview. In G. Rozenberg, H. Ehrig, J. Padberg, and G. Juh\u00e1s, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume)."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Proc. Logics of Programming Workshop, Carnegie-Mellon","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen and R.M. Burstall. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, Springer LNCS 164:221\u2013256, 1984."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"4_CR12","unstructured":"M. Jngel, E. Kindler, and M. Weber. The Petri Net Markup Language. In Proc. of Workshop on Algorithms and Tools for Petri Nets (AWPN 2000), Koblenz, Germany, august 2000. http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/ ."},{"key":"4_CR13","unstructured":"G. Juh\u00e1s. Algebraically generalised Petri nets. PhD thesis, Institute of Control Theory and Robotics, Slovak Academy of Sciences, 1998."},{"key":"4_CR14","unstructured":"E. Kindler and M. 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":"4_CR15","unstructured":"Ekkart Kindler and J\u00f6rg Desel. Der Traum von einem universellen Petrinetz-Werkzeug: Der Petrinetz-Kern. In J\u00f6rg Desel, Ekkart Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, Karlsruhe, October 1996."},{"key":"4_CR16","unstructured":"Ekkart Kindler and Michael Weber. The dimensions of Petri nets: The Petri net cube. Informatik-Bericht, Humboldt-Universit\u00e4t zu Berlin, 1998."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"H. Klaudel and E. Pelz. Communication as Unification in the Petri Box Calculus. Technical report, LRI, Universite de Paris Sud, 1995.","DOI":"10.1007\/3-540-60249-6_62"},{"key":"4_CR18","unstructured":"S. Lembke. The Application Developer View of the \u226bPetri Net Baukasten\u226a. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 231\u2013241. Fraunhofer Gesellschaft ISST, October 1999."},{"issue":"2","key":"4_CR19","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":"4_CR20","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"J. Padberg. Abstract Petri Nets as a Uniform Approach to High-Level Petri Net. In Proc. WADT, 1998.","DOI":"10.1007\/3-540-48483-3_16"},{"key":"4_CR22","unstructured":"J. Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACT S 66, 1998."},{"key":"4_CR23","unstructured":"J. Padberg. The \u226bPetri Net Baukasten\u226a: An Application-Oriented Petri Net Technology. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 191\u2013209. Fraunhofer Gesellschaft ISST, October 1999."},{"key":"4_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Nets, Advances in Petri Nets","author":"J. Padberg","year":"2001","unstructured":"J. Padberg and H. Ehrig. Parameterized Net Classes: A Uniform Approach to Net Classes. In G. Rozenberg, H. Ehrig, J. Padberg, and G. Juh\u00e1s, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume)."},{"key":"4_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":"4_CR26","unstructured":"Python Consortium. Python Language Homepage. http:\/\/www.python.org ."},{"key":"4_CR27","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"4_CR28","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":"4_CR29","doi-asserted-by":"crossref","unstructured":"G. Rozenberg and P.S. Thiagarajan. Petri Nets: Basic Notions, Structure, Behaviour. In Current Trends in Concurrency, pages 585\u2013668. 224, Springer, 1986.","DOI":"10.1007\/BFb0027048"},{"key":"4_CR30","unstructured":"R. Valk. Relating Different Semantics for Object Petri Nets. Technical Report FBI-HH-B-226\/00, FB Informatik, Universit\u00e4t Hamburg, 2000."},{"key":"4_CR31","unstructured":"M. Weber. Der Petrinetz-W\u00fcrfel im Petrinetz-Kern. In J\u00f6rg Desel and Andreas Oberweis, editors, 6. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, pages 69\u201374, J.W. Goethe-Universit\u00e4t Frankfurt\/Main, Institut f\u00fcr Wirtschaftsinformatik, October 1999."},{"key":"4_CR32","unstructured":"M. Weber. The Tool Developer View of the \u226bPetri Net Baukasten\u226a. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 267\u2013277. Fraunhofer Gesellschaft ISST, October 1999."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:25:15Z","timestamp":1556771115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}