Skip to main content
SpringerLink
Log in

Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪

  • Chapter
  • First Online:
Book cover Unifying Petri Nets

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

Abstract

We show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism allows the abstract formulation of formal concepts for a large variety of Petri net types. The Petri Net Kernel is a tool infrastructure supporting an easy implementation of Petri net algorithms. Moreover, the Petri Net Kernel is not restricted to a fixed Petri net type. Instead, only the net type has to be implemented as “net type specification”. It is then used as basis for implemented application algorithms. In our paper we describe an implementation of the formal net type parameters via an interface such that the parameter implementation can be transformed to a net type specification for the Petri Net Kernel. This allows on the one hand a simple change of the net type by selecting a different combination of the actual net type parameters. On the other hand, applications (like simulation or analysis algorithms) can be developed generically, i.e. independently of the Petri net type, thus supporting rapid prototyping for Petri net tools. The implementation is embedded in the development of the ≫Petrinetz-Baukastenϱ and is therefore closely related to the contributions [3,8,24] in this volume.

This work is part of the joint research project “DFG-Forschergruppe PetrinetzTechnologie” between H. Weber (Coordinator), H. Ehrig (both from the Technical University of Berlin) and W. Reisig (Humboldt-Universität zu Berlin), supported by the German Research Council (DFG).

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. E. Battiston, F. De Cindio, and G. Mauri. OBJSA Nets: a Class of High-level Nets having Objects as Domains. In G. Rozenberg, editor, Advances in Petri nets, volume 340 of LNCS, pages 20–43. Springer Verlag Berlin, 1988.

    Google Scholar 

  2. E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets, pages 21–69. Springer, LNCS no. 609, 1992.

    Google Scholar 

  3. A. Borusan, S. Lembke, and H. Weber. Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪. In G. Rozenberg, J. Padberg, H. Ehrig, and G. Juhás, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume).

    Google Scholar 

  4. J. Dehnert. The Common Base of the ≫Petri Net Baukasten≪. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 211–229. Fraunhofer Gesellschaft ISST, October 1999.

    Google Scholar 

  5. 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.

    MATH  Google Scholar 

  6. H. Ehrig and W. Reisig. Integration of Algebraic Specifications and Petri Nets. Bulletin EATCS, Formal Specification Column, (61):52–58, 1996.

    Google Scholar 

  7. M. Gajewsky. The Expert View of the ≫Petri Net Baukasten≪. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 243–265. Fraunhofer Gesellschaft ISST, October 1999.

    Google Scholar 

  8. M. Gajewsky and H. Ehrig. The ≫Petri Net Baukasten≪: An Overview. In G. Rozenberg, H. Ehrig, J. Padberg, and G. Juhás, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume).

    Google Scholar 

  9. H.J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109–136, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  10. J.A. Goguen and R.M. Burstall. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, Springer LNCS 164:221–256, 1984.

    Google Scholar 

  11. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer, 1992.

    Google Scholar 

  12. M. Jngel, E. Kindler, and M. Weber. The Petri Net Markup Language. In Proc. of Workshop on Algorithms and Tools for Petri Nets (AWPN 2000), Koblenz, Germany, august 2000. http://www.informatik.hu-berlin.de/top/pnml/.

  13. G. Juhás. Algebraically generalised Petri nets. PhD thesis, Institute of Control Theory and Robotics, Slovak Academy of Sciences, 1998.

    Google Scholar 

  14. E. Kindler and M. Weber. The Petri Net Kernel. Documentation of the Application Interface. PNK Version 2.0. Humboldt-Universität zu Berlin, Institut für Informatik, January 1999. http://www.informatik.hu-berlin.de/~kindler/PN-Kern/.

  15. Ekkart Kindler and Jörg Desel. Der Traum von einem universellen Petrinetz-Werkzeug: Der Petrinetz-Kern. In Jörg Desel, Ekkart Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe, October 1996.

    Google Scholar 

  16. Ekkart Kindler and Michael Weber. The dimensions of Petri nets: The Petri net cube. Informatik-Bericht, Humboldt-Universität zu Berlin, 1998.

    Google Scholar 

  17. H. Klaudel and E. Pelz. Communication as Unification in the Petri Box Calculus. Technical report, LRI, Universite de Paris Sud, 1995.

    Google Scholar 

  18. S. Lembke. The Application Developer View of the ≫Petri Net Baukasten≪. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 231–241. Fraunhofer Gesellschaft ISST, October 1999.

    Google Scholar 

  19. J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105–155, 1990.

    Article  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

  21. J. Padberg. Abstract Petri Nets as a Uniform Approach to High-Level Petri Net. In Proc. WADT, 1998.

    Google Scholar 

  22. J. Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACT S 66, 1998.

    Google Scholar 

  23. J. Padberg. The ≫Petri Net Baukasten≪: An Application-Oriented Petri Net Technology. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 191–209. Fraunhofer Gesellschaft ISST, October 1999.

    Google Scholar 

  24. J. Padberg and H. Ehrig. Parameterized Net Classes: A Uniform Approach to Net Classes. In G. Rozenberg, H. Ehrig, J. Padberg, and G. Juhás, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume).

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  26. Python Consortium. Python Language Homepage. http://www.python.org.

  27. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  29. G. Rozenberg and P.S. Thiagarajan. Petri Nets: Basic Notions, Structure, Behaviour. In Current Trends in Concurrency, pages 585–668. 224, Springer, 1986.

    Google Scholar 

  30. R. Valk. Relating Different Semantics for Object Petri Nets. Technical Report FBI-HH-B-226/00, FB Informatik, Universität Hamburg, 2000.

    Google Scholar 

  31. M. Weber. Der Petrinetz-Würfel im Petrinetz-Kern. In Jörg Desel and Andreas Oberweis, editors, 6. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 69–74, J.W. Goethe-Universität Frankfurt/Main, Institut für Wirtschaftsinformatik, October 1999.

    Google Scholar 

  32. M. Weber. The Tool Developer View of the ≫Petri Net Baukasten≪. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 267–277. Fraunhofer Gesellschaft ISST, October 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Technische Universität Berlin, D-10587, Berlin, Germany

    Claudia Ermel

  2. Institut für Informatik, Humboldt-Universität zu Berlin, D-10099, Berlin, Germany

    Michael Weber

Authors
  1. Claudia Ermel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany

    Hartmut Ehrig  & Julia Padberg  & 

  2. Katholische Universität Eichstätt, Ostenstr. 28, 85072, Eichstätt, Germany

    Gabriel Juhás

  3. Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Ermel, C., Weber, M. (2001). Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪. In: Ehrig, H., Padberg, J., Juhás, G., Rozenberg, G. (eds) Unifying Petri Nets. Lecture Notes in Computer Science, vol 2128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45541-8_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-45541-8_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43067-4

  • Online ISBN: 978-3-540-45541-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation