{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:51Z","timestamp":1725576891353},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_3","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T09:15:31Z","timestamp":1296119731000},"page":"37-65","source":"Crossref","is-referenced-by-count":3,"title":["Petri Net Transformations in the \u226bPetri Net Baukasten\u226a"],"prefix":"10.1007","author":[{"given":"B.","family":"Braatz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Urb\u00e1\u0161ek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Series in Pure and Applied Mathematics","volume-title":"Abstract and Concrete Categories","author":"J. Adamek","year":"1990","unstructured":"Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Series in Pure and Applied Mathematics. John Wiley and Sons, Chichester (1990)"},{"key":"3_CR2","unstructured":"Bardohl, R.: GenGEd \u2013 Visual Definition of Visual Languages Based on Algebraic Graph Transformation. PhD Thesis, TU Berlin, Verlag Dr. Kovac, Germany (1999)"},{"key":"3_CR3","unstructured":"Bardohl, R., Ehrig, H., Ermel, C.: Generic Description, Behaviour and Animation of Visual Modeling Languages. In: Proc. Integrated Design and Process Technology, Dallas, USA (2000)"},{"key":"3_CR4","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":"3_CR5","series-title":"Lecture Notes in Computer Science","first-page":"165","volume-title":"Advances in Petri Nets 1990","author":"J. Desel","year":"1990","unstructured":"Desel, J., Merceron, A.: Vicinity Respecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 165\u2013185. Springer, Heidelberg (1990)"},{"key":"3_CR6","series-title":"Concurrency, Parallelism, and Distribution","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1142\/9789812814951_0006","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Gajewski, M., Parisi-Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets. In: Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism, and Distribution, vol.\u00a03, pp. 341\u2013400. World Scientific, Singapore (1999)"},{"key":"3_CR7","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","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: From Graph Grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 269\u2013291. Springer, Heidelberg (1991)"},{"key":"3_CR8","unstructured":"Ehrig, K.: Converting XML Files with XSLT and XPATH. Student\u2019s Project Status Report (2001), \n                  \n                    http:\/\/tfs.cs.tu-berlin.de\/lehre\/SS01\/gragra.html"},{"key":"3_CR9","unstructured":"Gajewsky, M.: Concepts and Requirements for Transformations within Petri Net Based Process Models. In: 5th World Conference on Integrated Design and Process Technology, Special Session on Model Integration. CD-ROM, 8 pages (2000)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/3-540-45541-8_2","volume-title":"Unifying Petri Nets","author":"M. Gajewsky","year":"2001","unstructured":"Gajewsky, M., Ehrig, H.: The \u226bPetri Net Baukasten\u226a. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, p. 26. Springer, Heidelberg (2001)"},{"key":"3_CR11","unstructured":"Gajewsky, M., Hoffmann, K., Padberg, J.: Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place\/Transition Systems. Technical Report 1999-14, Technical University Berlin (1999)"},{"key":"3_CR12","unstructured":"Gajewsky, M., Parisi-Presicce, F.: Formal Transformations of Petri Nets. Technical Report 2000-12, Technical University Berlin (2000)"},{"key":"3_CR13","unstructured":"Gajewsky, M., Parisi-Presicce, F.: Transformations between Petri Net Classes with Application to Software Development. In: 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin (2001)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-45645-7_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Gajewsky","year":"2001","unstructured":"Gajewsky, M., Parisi-Presicce, F.: On Compatibility of Model and Class Transformations. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 24\u201325. Springer, Heidelberg (2001)"},{"key":"3_CR15","unstructured":"Gajewsky, M., Padberg, J., Urb\u00e1\u0161ek, M.: Rule-Based Refinement for Place\/Transition Systems: Preserving Liveness-Properties. Technical Report 2001-8, Technical University of Berlin (2001)"},{"key":"3_CR16","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts. EATCS Monographs in Theoretical Computer Science, vol. 28. Springer , Heidelberg (1992)"},{"key":"3_CR17","unstructured":"Kluge, O., Padberg, J., Ehrig, H.: Modeling Train Control Systems: From Message Sequence Charts to Petri Nets. In: Proc. Formale Techniken f\u00fcr die Eisenbahnsicherung (FORMS), pp. 25\u201342. Fortschritt-Berichte VDI (2000)"},{"key":"3_CR18","unstructured":"Lilius, J.: On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, Digital Systems Laboratory, Research Report 33 (1995)"},{"key":"3_CR19","unstructured":"Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag (1996)"},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1023\/A:1008695316594","volume":"7","author":"J. Padberg","year":"1999","unstructured":"Padberg, J.: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures\u00a07(4), 371\u2013403 (1999)","journal-title":"Applied Categorical Structures"},{"key":"3_CR21","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. Math. Struct. in Comp. Science\u00a05, 217\u2013256 (1995)","journal-title":"Math. Struct. in Comp. Science"},{"key":"3_CR22","unstructured":"Peuker, S.: Halbordnungsbasierte Verfeinerung zur Verifikation verteiler Algorithmen. PhD thesis, Humboldt University Berlin (2001)"},{"key":"3_CR23","unstructured":"Padberg, J., Gajewsky, M.: Using High-Level Replacement Systems to Preserve Safety Properties in Place\/Transition Net Transformations. In: Sixth Int. Workshop on Theory and Application of Graph Transformation, pp. 356\u2013365. Universit\u00e4t-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik (1998)"},{"key":"3_CR24","unstructured":"Padberg, J., Gajewsky, M.: Safety Preserving Transformations of Coloured Petri Nets. Technical Report 2000-13, Technical University Berlin (2000)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Padberg, J., Gajewsky, M.: Rule-Based Refinement of Petri Nets For Modeling Train Control Systems. In: Petri Nets in Design, Modelling and Simulation of Control Systems, Special Session at the IFAC Conference on Control Systems Design, pp. 299\u2013304 (2000)","DOI":"10.1016\/S1474-6670(17)37205-1"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BFb0053593","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Padberg","year":"1998","unstructured":"Padberg, J., Gajewsky, M., Ermel, C.: Rule-Based Refinement of High- Level Nets Preserving Safety Properties. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 221\u2013238. Springer, Heidelberg (1998)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-540-46464-8_29","volume-title":"Theory and Application of Graph Transformations","author":"J. Padberg","year":"2000","unstructured":"Padberg, J., Gajewsky, M., Hoffmann, K.: Incremental Development of Safety Properties in Petri Net Transformations. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 410\u2013425. Springer, Heidelberg (2000)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-46428-X_18","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Padberg","year":"2000","unstructured":"Padberg, J., Hoffmann, K., Gajewsky, M.: Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 249\u2013265. Springer, Heidelberg (2000)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Petri Net Technology for Communication Based Systems","author":"F. Parisi-Presicce","year":"2002","unstructured":"Parisi-Presicce, F.: A Formal Framework for Petri Net Class Transformations. In: Petri Net Technology for Communication Based Systems. LNCS. Springer, Heidelberg (2002)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Towards Common Exchange Formats for Graphs and Graph Transformation Systems. In: Int. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2001), Sattelite Event of ETAPS 2001 (2001)","DOI":"10.1016\/S1571-0661(04)80941-1"},{"key":"3_CR31","unstructured":"Weber, H., Ehrig, H., Reisig, W. (eds.): Int. Colloquium on Petri Net Technology for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukasten\u226a. Fraunhofer Gesellschaft ISST (October 1999)"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T22:54:15Z","timestamp":1553381655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}