Abstract
The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the ≫Petri Net Baukasten≪ developed by the “DFG-Forschergruppe Petrinetz-Technologie”. The two main concepts of Petri net transformations considered in this context are net class and net model transformations. In both cases we present first the relevance of transformations in the application developer view and them the technical constructions and results in the expert view of the ≫Petri Net Baukasten≪. Net class transformations are transformations between different Petri net classes, like elementary nets, place/transition nets and algebraic high-level nets. Net model transformations on the other hand are transformations of the net structure for nets within one Petri net class, like place or transition refinement. The main technical results are concerning the preservation of safety resp. liveness properties of net model transformations and compatibility results between net class and net model transformations. The relevance of the constructions and results for the application developer view is demonstrated by a small case study modeling the interaction of a buffer, a printer and a communication unit consisting of secure and non-secure channels. Finally we give an overview of other concepts of transformations: On one hand, transformations between Petri nets and other system modeling techniques, and on the other hand transformations between different net representation formats using XML-schemes and DTD-standards.
This work is a part of the joint research project “DFG-Forschergruppe Petrinetz-Technologie” between H. Weber (Coordinator), H. Ehrig (both from the Technical University Berlin) and W. Reisig (Humboldt University Berlin), supported by the German Research Council (DFG).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Series in Pure and Applied Mathematics. John Wiley and Sons, Chichester (1990)
Bardohl, R.: GenGEd – Visual Definition of Visual Languages Based on Algebraic Graph Transformation. PhD Thesis, TU Berlin, Verlag Dr. Kovac, Germany (1999)
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)
DFG-Forschergruppe Petri Net Technology. Initial Realization of the ≫Petri Net Baukasten≪. Informatik-Berichte 129, Humboldt-Universität zu Berlin (October 1999)
Desel, J., Merceron, A.: Vicinity Respecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 165–185. Springer, Heidelberg (1990)
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. 3, pp. 341–400. World Scientific, Singapore (1999)
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. 532, pp. 269–291. Springer, Heidelberg (1991)
Ehrig, K.: Converting XML Files with XSLT and XPATH. Student’s Project Status Report (2001), http://tfs.cs.tu-berlin.de/lehre/SS01/gragra.html
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)
Gajewsky, M., Ehrig, H.: The ≫Petri Net Baukasten≪. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, p. 26. Springer, Heidelberg (2001)
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)
Gajewsky, M., Parisi-Presicce, F.: Formal Transformations of Petri Nets. Technical Report 2000-12, Technical University Berlin (2000)
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)
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. 2267, pp. 24–25. Springer, Heidelberg (2001)
Gajewsky, M., Padberg, J., Urbášek, M.: Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Technical Report 2001-8, Technical University of Berlin (2001)
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)
Kluge, O., Padberg, J., Ehrig, H.: Modeling Train Control Systems: From Message Sequence Charts to Petri Nets. In: Proc. Formale Techniken für die Eisenbahnsicherung (FORMS), pp. 25–42. Fortschritt-Berichte VDI (2000)
Lilius, J.: On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, Digital Systems Laboratory, Research Report 33 (1995)
Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag (1996)
Padberg, J.: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures 7(4), 371–403 (1999)
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic High-Level Net Transformation Systems. Math. Struct. in Comp. Science 5, 217–256 (1995)
Peuker, S.: Halbordnungsbasierte Verfeinerung zur Verifikation verteiler Algorithmen. PhD thesis, Humboldt University Berlin (2001)
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–365. Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik (1998)
Padberg, J., Gajewsky, M.: Safety Preserving Transformations of Coloured Petri Nets. Technical Report 2000-13, Technical University Berlin (2000)
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–304 (2000)
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. 1382, pp. 221–238. Springer, Heidelberg (1998)
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. 1764, pp. 410–425. Springer, Heidelberg (2000)
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. 1783, pp. 249–265. Springer, Heidelberg (2000)
Parisi-Presicce, F.: A Formal Framework for Petri Net Class Transformations. In: Petri Net Technology for Communication Based Systems. LNCS. Springer, Heidelberg (2002)
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)
Weber, H., Ehrig, H., Reisig, W. (eds.): Int. Colloquium on Petri Net Technology for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukasten≪. Fraunhofer Gesellschaft ISST (October 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Braatz, B., Ehrig, H., Urbášek, M. (2003). 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. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-40022-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20538-8
Online ISBN: 978-3-540-40022-6
eBook Packages: Springer Book Archive