{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:18Z","timestamp":1725484278862},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_6","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T22:24:22Z","timestamp":1180391062000},"page":"109-127","source":"Crossref","is-referenced-by-count":2,"title":["On the Compatibility of Model and Model-Class Transformations"],"prefix":"10.1007","author":[{"given":"Maike","family":"Gajewsky","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"6_CR1","unstructured":"J. Adamek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Series in Pure and Applied Mathematics. John Wiley and Sons, 1990."},{"key":"6_CR2","unstructured":"B. Baumgarten. Petrinetze, Grundlagen und Anwendungen. BI, 1990."},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-56503-5_16","volume-title":"STACS\u2019 93","author":"E. Best","year":"1993","unstructured":"E. Best, R. Devillers, and J. Esparza. General refinement and recursion operators for the Petri Box Calculus. In P. Enjalbert et al., editors, STACS\u2019 93, volume 665 of Lecture Notes in Computer Science, pages 130\u2013140. Springer Verlag, 1993."},{"key":"6_CR4","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, volume 609 of Lecture Notes in Computer Science, pages 21\u201369. Springer Verlag, 1992."},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-55676-1_5","volume-title":"13th International Conference on Application and Theory of Petri Nets","author":"C. Brown","year":"1992","unstructured":"C. Brown and D. Gurr. Refinement and Simulation of Nets-a categorical characterization. In K. Jensen, editor, 13th International Conference on Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, pages 76\u201392. Springer Verlag, 1992."},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-15198-2_23","volume-title":"TAPSOFT 85","author":"E.K. Blum","year":"1985","unstructured":"E.K. Blum and F. Parisi-Presicce. Tha Semantics of Shared submodle Specifications. In TAPSOFT 85, volume 185 of Lecture Notes in Computer Science, pages 359\u2013373. Springer Verlag,1985."},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","first-page":"165","volume-title":"Advances in Petri Nets","author":"J. Desel","year":"1990","unstructured":"J. Desel and A. Merceron. Vicinity Respecting Net Morphisms. In Advances in Petri Nets, volume 483 of Lecture Notes in Computer Science, pages 165\u2013185. Springer Verlag, 1990."},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1142\/9789812814951_0006","volume":"3","author":"H. Ehrig","year":"1999","unstructured":"H. Ehrig, M. Gajewsky, and F. Parisi-Presicce. High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, volume 3: Concurrency, Parallelism, and Distribution, chapter 6, pages 341\u2013400. World Scientific, Handbook of Graph Grammars and Computing by Graph Transformations, 1999.","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformations"},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"From graph grammars to high level replacement systems","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. From graph grammars to high level replacement systems. In 4th Intern. Workshop on Graph Grammars, volume 532 of Lecture Notes in Computer Science, pages 269\u2013291. Springer Verlag, 1991."},{"key":"6_CR10","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":"6_CR11","unstructured":"C. Ermel. Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen. Technical Report 96-15, TU Berlin, 1996."},{"key":"6_CR12","unstructured":"M. Gajewsky and F. Parisi-Presicce. Formal Transformations of Petri Nets. Technical Report 2000-12, Technical University Berlin, 2000."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"K. Jensen. Computer tools for construction, modification and analysis of Petrinets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, pages 4\u201319. Springer Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_20"},{"key":"6_CR14","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, 1992."},{"key":"6_CR15","unstructured":"J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, 1995. Digital Systems Laoratory, Research Report 33."},{"key":"6_CR16","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce. A rule-based approach to modular system design. In Proc. of 12th IEEE Internat. Conf. on Software Engineering, Nice (France), pages 202\u2013211, 1990.","DOI":"10.1109\/ICSE.1990.63624"},{"key":"6_CR18","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":"6_CR19","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, volume 1382 of Lecture Notes in Computer Science, pages 221\u2013238. Springer Verlag, 1998."},{"key":"6_CR20","series-title":"Lect Notes Comput Sci","first-page":"410","volume-title":"Theory and Application of Graph Transformations(TAGT\u201998)","author":"J. Padberg","year":"1999","unstructured":"J. Padberg, M. Gajewsky, and K. Hoffrmann. Incremental Development of Safety Properties in Petri Net Transformations. In G. Engels and G. Rozenberg, editors, Theory and Application of Graph Transformations(TAGT\u201998) volume 1764 of Lecture Notes in Computer Science, pages 410\u2013425. Springer Verlag, 1999."},{"key":"6_CR21","series-title":"Lect Notes Comput Sci","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":"J. Padberg, K. Hoffrmann, and M. Gajewsky. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, volume 1783 of Lecture Notes in Computer Science, pages 249\u2013265. Springer Verlag, 2000."},{"key":"6_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume-title":"Lectures on Petri Nets: Basic Models","author":"G. Rozenberg","year":"1998","unstructured":"G. Rozenberg and J. Engelfriet. Elementary net systems. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 12\u2013121. Springer Verlag, 1998."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Wolfgang Reisig. Petrinetze. Eine Einf\u00fchrung. Springer Verlag, 1982.","DOI":"10.1007\/978-3-642-96705-4"},{"key":"6_CR24","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985."},{"key":"6_CR25","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":"6_CR26","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, volume 266 of Lecture Notes in Computer Science, pages293\u2013308. Springer Verlag, 1987."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45645-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:39:08Z","timestamp":1556437148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}