A formal framework for petri net class transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2472, Issue , 2003, Pages 409-430

  Parisi Presicce, Francesco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346895281     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40022-6_20     Document Type: Article

References (38)

1. J. Adamek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Series in Pure and Applied Mathematics. John Wileyan d Sons, 1990.
2. B. Braatz, H. Ehrig and M. Urbasek. Petri Net Transformations in the Petri Net Baukasten. (this volume). 410
3. 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, pages 76-92. Lecture Notes in Computer Science, Springer Verlag, Jun 1992.
4. W. Brauer, R. Gold, and W. Vogler. A Surveyo f Behaviour and Equivalence Preserving Refinements of Petri Nets. Advances in Petri Nets, Lecture Notes in Computer Science 483:1-46, 1990.
5. A. Borusan. A Petri Net Based Modelling Technologyfor Manufacturing System Engineering. In Proceedings Cars And FOF'93 International Conference on CAD, CAM, Robotics and Factories of the Future, pages 41-50, New Jersey, USA, 1993. 411
6. A. Borusan. Modelling and design of complex systems with Petri nets. In E. Schnieder, editor, Entwurf komplexer Automatisierungssysteme, pages 237-247. TU Brauschweig, June 1995. 411
7. Kamran R. Damavandi. Eine Methodenkette zur integrierten Software-Entwicklung: Von der Problemstellung zum Programmsystem mit Petrinetze. Technical Report N91-15769, Technische Universität Berlin, Fachbereich 20, Informatik-Washington, DC, USA: National Aeronautics and Space Administration (/3/XAD, ETN-91-98497), 1990. Dissertation. 411
8. J. Desel. On Abstraction of Nets. In Advances in Petri Nets, pages 78-92. Springer Verlag LNCS 524, 1991.
9. W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation, 8, May1991. 409
10. J. Desel and A. Merceron. VicinityR especting Net Morphisms. In Advances in Petri Nets, pages 165-185. Springer Verlag, 1990. Lecture Notes in Computer Science 483.
11. J. Desel and W. Reisig. Place/transition Petri nets. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets: Basic Models, pages 122-173. Springer Verlag, LNCS 1491, 1998. 410
12. 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-400. World Scientific, Handbook of Graph Grammars and Computing byG raph Transformations edition, 1999. 416, 417
13. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. From graph grammars to high level replacement systems. In 4th Int. Workshop on Graph Grammars and their Application to Computer Science, LNCS 532, pages 269-291. Springer Verlag, 1991. 409
14. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrencyin high-level replacement systems. Math. Struct. in Comp. Science, 1:361-404, 1991. 417
15. 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.
16. C. Ermel, J. Padberg, and H. Ehrig. Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In D. Cooke, B. J. Krämer, P. C-Y. Sheu, J.P. Tsai, and R. Mittermeir, editors, Proc. Integrated Design and Process Technology, pages 186-193. Societyfor Design and Process Science, 1996. Vol.1. 411
17. H. Ehrig, J. Padberg, C. Ermel, and L. Grigoriu. Petrinetze: Modellierung, Strukturierung und Kompositionalität. Skript zur Lehrveranstaltung, SS99, Technische Universität Berlin, 1999. 417
18. M. Gajewsky. Concepts and Requirements for Transformations within Petri Net Based Process Models. In A. Ertas, editor, 5th World Conference on Integrated Design and Process Technology, Special Session on Model Integration, 2000. CDROM, 8 pages. 409
19. M. Gajewsky,K. Hoffmann, and J. Padberg. Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place/Transition Systems. Technical Report 99-14, Technical UniversityBerlin , 1999. 415, 417
20. M. Gajewskyan d F. Parisi-Presicce. Formal Transformations of Petri Nets. Technical Report 2000-12, Technical UniversityBerlin , 2000. 410, 417, 421, 424
21. M. Gajewskyan d F. Parisi-Presicce. On the Compatibilityof Model and Model-Class Transformations In M.Cerioli, G.Reggio editors, Recent Trends in Algebraic Development Techniques (WADT'01). Selected Papers. pages 109-127, Lecture Notes in Computer Science 2267, Springer Verlag 2001. 410, 411, 415, 417
22. M. Gajewsky, J. Padberg and M. Urbasek. Rule-Based Refinement of Place/Transition Systems: Preserving liveness properties. Technical Report 2001-8, Technical UniversityBerlin , 2001. 427
23. 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. 409
24. A. Janhsen, K. Lemmer, B. Ptok, and E. Schnieder. Formal specifications of the European Train Control System. In IFAC Transportation Systems, 8th Symposium on Transportation Systems, 1997. 409
25. Sabine Lembke. Anwendungsentwicklung in der LION-Entwicklungsumgebung (LEU). In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie, number 73 in Informatik-Berichte der Humboldt-Universität zu Berlin, pages 72-81, July1996. 411
26. Axel Martens. Software-Engineering von Workflow-Applikationen mit Petrinetzen. Diplomarbeit, Humboldt-Universität zu Berlin, Institut für Informatik, 1997. 411
27. Susanne Müller. Ablaufmodellierung als Analyse-, Entwurfs-und Realisierungsmethodik im Softwareentwicklungsprozeß. Reihe Wirtschaftsinformatik, Band 15. Verlag Josef Eul, Bergisch Gladbach, Köln, 1995. 411
28. A. Oberweis. Modellierung und Ausführung von Workflows mit Petri-Netzen. Teubner-Reihe Wirtschaftsinformatik. B.G. Teubner Verlagsgesellschaft, Stuttgart Leipzig, 1996. 411
29. J. Padberg. Surveyof high-level replacement systems. Technical Report 93-8, Technical Universityof Berlin, 1993.
30. J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical UniversityBerlin , 1996. Shaker Verlag. 417, 423, 425
31. Julia Padberg. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures, 7(4):371-403, December 1999.
32. J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217-256, 1995. 410, 415
33. J. Padberg, M. Gajewsky, and C. Ermel. Rule-Based Refinement of High-Level Nets Preserving SafetyProp erties. In E. Astesiano, editor, Fundamental Approaches to Software Engineering, pages 221-238. Springer Verlag, Lecture Notes in Computer Science 1382, 1998. 411, 427
34. Julia Padberg, Maike Gajewsky, and Kathrin Hoffmann. Incremental Development of SafetyProp erties in Petri Net Transformations. In G. Engels and G. Rozenberg, editors, Theory and Application of Graph Transformations( TAGT'98), Lecture Notes in Computer Science 1764, pages 410-425. Springer Verlag, 1999. 411, 415, 427
35. Julia Padberg, Kathrin Hoffmann, and Maike Gajewsky. Stepwise Introduction and Preservation of SafetyProp erties in Algebraic High-Level Net Systems. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, pages 249-265. Springer Verlag, Lecture Notes in Computer Science 1783, 2000. 411, 427
36. G. Rozenberg and J. Engelfriet. Elementaryn et systems. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets: Basic Models, pages 12-121. Springer Verlag, LNCS 1491, 1998. 410
37. W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1-34, 1991. 410
38. J. Vautherin. Parallel System Specification with Coloured Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 87, pages 293-308. Springer Verlag, 1987. Lecture Notes in Computer Science 266. 410