{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:50Z","timestamp":1725576890356},"publisher-location":"Berlin, Heidelberg","reference-count":38,"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_20","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"409-429","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Framework for Petri Net Class Transformations"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Parisi-Presicce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Abstract and Concrete Categories. Series in Pure and Applied Mathematics","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":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-40022-6_3","volume-title":"Petri Net Technology for Communication-Based Systems","author":"B. Braatz","year":"2003","unstructured":"Braatz, B., Ehrig, H., Urbasek, M.: Petri Net Transformations in the Petri Net Baukasten. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 37\u201365. Springer, Heidelberg (2003)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-55676-1_5","volume-title":"Application and Theory of Petri Nets 1992","author":"C. Brown","year":"1992","unstructured":"Brown, C., Gurr, D.: Refinement and Simulation of Nets \u2013 a categorical characterization. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 76\u201392. Springer, Heidelberg (1992)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Petri Nets 1990","author":"W. Brauer","year":"1991","unstructured":"Brauer, W., Gold, R., Vogler, W.: A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 1\u201346. Springer, Heidelberg (1991)"},{"key":"20_CR5","unstructured":"Borusan, A.: A Petri Net Based Modelling Technology for Manufacturing System Engineering. In: Proceedings Cars And FOF 1993 International Conference on CAD, CAM, Robotics and Factories of the Future, New Jersey, USA, pp. 41\u201350 (1993)"},{"key":"20_CR6","unstructured":"Borusan, A.: Modelling and design of complex systems with Petri nets. In: Schnieder, E. (ed.) Entwurf komplexer Automatisierungssysteme, pp. 237\u2013247. TU Brauschweig, (June 1995)"},{"key":"20_CR7","unstructured":"Damavandi, K.R.: Eine Methodenkette zur integrierten Software- Entwicklung: Von der Problemstellung zum Programmsystem mit Petrinetze. Technical Report N91\u201315769, Technische Universit\u00e4t Berlin, Fachbereich 20, Informatik \u2014 Washington, DC, USA: National Aeronautics and Space Administration (\/3\/XAD, ETN\u201391\u201398497) (1990) (dissertation)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0019970","volume-title":"Advances in Petri Nets 1991","author":"J. Desel","year":"1991","unstructured":"Desel, J.: On Abstraction of Nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 78\u201392. Springer, Heidelberg (1991)"},{"key":"20_CR9","unstructured":"Deiters, W., Gruhn, V.: Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation\u00a08 (May 1991)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-53863-1_25","volume-title":"Advances in Petri Nets 1990","author":"J. Desel","year":"1991","unstructured":"Desel, J., Merceron, A.: Vicinity Respecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 165\u2013185. Springer, Heidelberg (1991)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 122\u2013173. Springer, Heidelberg (1998)"},{"key":"20_CR12","series-title":"Concurrency, Parallelism, and Distribution, ch. 6","first-page":"341","volume-title":"High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets. Concurrency, Parallelism, and Distribution, Handbook of Graph Grammars and Computing by Graph Transformations edn. ch. 6, vol.\u00a03, pp. 341\u2013400. World Scientific, Singapore (1999)"},{"key":"20_CR13","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":"20_CR14","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrencyin high-level replacement systems. Math. Struct. in Comp. Science\u00a01, 361\u2013404 (1991)","journal-title":"Math. Struct. in Comp. Science"},{"key":"20_CR15","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":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Berlin (1985)"},{"key":"20_CR16","unstructured":"Ermel, C., Padberg, J., Ehrig, H.: Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In: Cooke, D., Kr\u00e4mer, B.J., Sheu, P.C.-Y., Tsai, J.P., Mittermeir, R. (eds.) Proc. Integrated Design and Process Technology. Society for Design and Process Science, vol.\u00a01, pp. 186\u2013193 (1996)"},{"key":"20_CR17","unstructured":"Ehrig, H., Padberg, J., Ermel, C., Grigoriu, L.: Petrinetze: Modellierung, Strukturierung und Kompositionalit\u00e4t. Skript zur Lehrveranstaltung, SS99, Technische Universit\u00e4t Berlin (1999)"},{"key":"20_CR18","unstructured":"Gajewsky, M.: Concepts and Requirements for Transformations within Petri Net Based Process Models. In: Ertas, A. (ed.) 5th World Conference on Integrated Design and Process Technology, Special Session on Model Integration, 2000. CDROM, p. 8 (2000)"},{"key":"20_CR19","unstructured":"Gajewsky, M., Hoffmann, K., Padberg, J.: Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place\/Transition Systems. Technical Report 99-14, Technical University Berlin (1999)"},{"key":"20_CR20","unstructured":"Gajewsky, M., Parisi-Presicce, F.: Formal Transformations of Petri Nets. Technical Report 2000-12, Technical University Berlin (2000)"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-45645-7_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Gajewsky","year":"2002","unstructured":"Gajewsky, M., Parisi-Presicce, F.: On the Compatibilityof Model and Model- Class Transformations. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 109\u2013127. Springer, Heidelberg (2002)"},{"key":"20_CR22","unstructured":"Gajewsky, M., Padberg, J., Urbasek, M.: Rule-Based Refinement of Place\/Transition Systems: Preserving liveness properties. Technical Report 2001- 8, Technical UniversityBerlin (2001)"},{"key":"20_CR23","series-title":"EATCS Monographs in Theoretical Computer Science edition","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Practical Use. EATCS Monographs in Theoretical Computer Science edition, vol.\u00a03. Springer, Heidelberg (1997)"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Janhsen, A., Lemmer, K., Ptok, B., Schnieder, E.: Formal specifications of the European Train Control System. In: IFAC Transportation Systems, 8th Symposium on Transportation Systems (1997)","DOI":"10.1016\/S1474-6670(17)43974-7"},{"key":"20_CR25","unstructured":"Lembke, S.: Anwendungsentwicklung in der LION-Entwicklungsumgebung (LEU). In: Ehrig, H., Reisig, W., Weber, H. (eds.) Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie. Informatik-Berichte der Humboldt-Universit\u00e4t zu Berlin, vol.\u00a073, pp. 72\u201381 (July 1996)"},{"key":"20_CR26","unstructured":"Martens, A.: Software-Engineering von Workflow-Applikationen mit Petrinetzen, Diplomarbeit, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik (1997)"},{"key":"20_CR27","unstructured":"M\u00fcller, S.: Ablaufmodellierung als Analyse-, Entwurfs- und Realisierungsmethodik im Softwareentwicklungsproze\u03b2. Reihe Wirtschaftsinformatik, Band 15. Verlag Josef Eul, Bergisch Gladbach, K\u00f6ln (1995)"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Oberweis, A.: Modellierung und Ausf\u00fchrung von Workflows mit Petri- Netzen, Teubner-Reihe Wirtschaftsinformatik. B.G. Teubner Verlagsgesellschaft, Stuttgart Leipzig (1996)","DOI":"10.1007\/978-3-322-81039-7"},{"key":"20_CR29","unstructured":"Padberg, J.: Survey of high-level replacement systems. Technical Report 93-8, Technical University of Berlin (1993)"},{"key":"20_CR30","unstructured":"Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag (1996)"},{"issue":"4","key":"20_CR31","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":"20_CR32","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. Mathematical Structures in Computer Science\u00a05, 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"20_CR33","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":"20_CR34","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":"20_CR35","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":"20_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume-title":"Lectures on Petri Nets I: Basic Models","author":"G. Rozenberg","year":"1998","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 12\u2013121. Springer, Heidelberg (1998)"},{"key":"20_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri Nets and Algebraic Specifications. Theoretical Computer Science\u00a080, 1\u201334 (1991)","journal-title":"Theoretical Computer Science"},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume-title":"Advances in Petri Nets 1987","author":"J. Vautherin","year":"1987","unstructured":"Vautherin, J.: Parallel System Specification with Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 293\u2013308. Springer, Heidelberg (1987)"}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,24]],"date-time":"2019-03-24T02:45:34Z","timestamp":1553395534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}