Skip to main content
SpringerLink
Log in

A Formal Framework for Petri Net Class Transformations

  • Chapter
Petri Net Technology for Communication-Based Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2472))

Abstract

A formalization of transformations of Petri Nets is presented in a categorical framework. It uses rule based modifications for the transformation of models within one Petri net class (replacement of one subnet by another one) and functors for the enrichment of the models to a different class (addition of features previously ignored). Net class transformations are defined between elementary nets, place/transition nets and algebraic high level nets. These class transformations preserve the rules and the derivation sequences. This compatibility guarantees that the order of application of a net class transformation and a model transformation does not affect the result. The net class transformations are then shown to ”lift” providing a form of stepwise enrichment of net classes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Series in Pure and Applied Mathematics. John Wiley and Sons, Chichester (1990)

    Google Scholar 

  2. 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. 2472, pp. 37–65. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. Brown, C., Gurr, D.: Refinement and Simulation of Nets – a categorical characterization. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 76–92. Springer, Heidelberg (1992)

    Google Scholar 

  4. 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. 483, pp. 1–46. Springer, Heidelberg (1991)

    Google Scholar 

  5. 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–50 (1993)

    Google Scholar 

  6. Borusan, A.: Modelling and design of complex systems with Petri nets. In: Schnieder, E. (ed.) Entwurf komplexer Automatisierungssysteme, pp. 237–247. TU Brauschweig, (June 1995)

    Google Scholar 

  7. Damavandi, K.R.: 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)

    Google Scholar 

  8. Desel, J.: On Abstraction of Nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 524, pp. 78–92. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  9. Deiters, W., Gruhn, V.: Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation 8 (May 1991)

    Google Scholar 

  10. Desel, J., Merceron, A.: Vicinity Respecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 165–185. Springer, Heidelberg (1991)

    Google Scholar 

  11. Desel, J., Reisig, W.: Place/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998)

    Google Scholar 

  12. 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. 3, pp. 341–400. World Scientific, Singapore (1999)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrencyin high-level replacement systems. Math. Struct. in Comp. Science 1, 361–404 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  15. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol. 6. Springer, Berlin (1985)

    MATH  Google Scholar 

  16. Ermel, C., Padberg, J., Ehrig, H.: Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In: Cooke, D., Krämer, 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. 1, pp. 186–193 (1996)

    Google Scholar 

  17. Ehrig, H., Padberg, J., Ermel, C., Grigoriu, L.: Petrinetze: Modellierung, Strukturierung und Kompositionalität. Skript zur Lehrveranstaltung, SS99, Technische Universität Berlin (1999)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. Gajewsky, M., Parisi-Presicce, F.: Formal Transformations of Petri Nets. Technical Report 2000-12, Technical University Berlin (2000)

    Google Scholar 

  21. 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. 2267, pp. 109–127. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  22. Gajewsky, M., Padberg, J., Urbasek, M.: Rule-Based Refinement of Place/Transition Systems: Preserving liveness properties. Technical Report 2001- 8, Technical UniversityBerlin (2001)

    Google Scholar 

  23. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Practical Use. EATCS Monographs in Theoretical Computer Science edition, vol. 3. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  24. 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)

    Google Scholar 

  25. 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ät zu Berlin, vol. 73, pp. 72–81 (July 1996)

    Google Scholar 

  26. Martens, A.: Software-Engineering von Workflow-Applikationen mit Petrinetzen, Diplomarbeit, Humboldt-Universität zu Berlin, Institut für Informatik (1997)

    Google Scholar 

  27. Müller, S.: Ablaufmodellierung als Analyse-, Entwurfs- und Realisierungsmethodik im Softwareentwicklungsprozeβ. Reihe Wirtschaftsinformatik, Band 15. Verlag Josef Eul, Bergisch Gladbach, Köln (1995)

    Google Scholar 

  28. Oberweis, A.: Modellierung und Ausführung von Workflows mit Petri- Netzen, Teubner-Reihe Wirtschaftsinformatik. B.G. Teubner Verlagsgesellschaft, Stuttgart Leipzig (1996)

    Google Scholar 

  29. Padberg, J.: Survey of high-level replacement systems. Technical Report 93-8, Technical University of Berlin (1993)

    Google Scholar 

  30. Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag (1996)

    Google Scholar 

  31. Padberg, J.: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures 7(4), 371–403 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  32. Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science 5, 217–256 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  33. 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)

    Chapter  Google Scholar 

  34. 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)

    Chapter  Google Scholar 

  35. 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)

    Chapter  Google Scholar 

  36. Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 12–121. Springer, Heidelberg (1998)

    Google Scholar 

  37. Reisig, W.: Petri Nets and Algebraic Specifications. Theoretical Computer Science 80, 1–34 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  38. Vautherin, J.: Parallel System Specification with Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol. 266, pp. 293–308. Springer, Heidelberg (1987)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Universitá di Roma ”La Sapienza”, Via Salaria 113, 00198, Rome, Italy

    Francesco Parisi-Presicce

Authors
  1. Francesco Parisi-Presicce
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Computergestützte InformationsSysteme (CIS), Technische Universität Berlin, Germany

    Herbert Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Parisi-Presicce, F. (2003). A Formal Framework for Petri Net Class Transformations. 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_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40022-6_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20538-8

  • Online ISBN: 978-3-540-40022-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation