Skip to main content
SpringerLink
Log in
Book cover

Petri Net Technology for Communication-Based Systems pp 109–123Cite as

The Petri Net Kernel

  • Chapter

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

Abstract

The Petri Net Kernel (PNK) is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool of implementing standard functionality on Petri nets. Moreover, it allows users to customize and to extend a PNK based tool according to their needs. In this paper, we discuss the goals, the concepts, and the realization of the Petri Net Kernel.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. APNN-Toolbox (March 18, 2002), http://ls4-www.cs.uni-dortmund.de/APNN-TOLBOX/

  2. Bause, F., Kemper, P., Kritzinger, P.: Abstract Petri net notation. Petri Net Newsletter 49, 9–27 (1995)

    Google Scholar 

  3. CPN-AMI (March 18, 2002), http://www-src.lip6.fr/logiciels/mars/CPNAMI/

  4. Desel, J., Juhás, G.: What is a Petri net? - Informal answers to the informed reader. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 1–25. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Design/CPN (September 21, 2001), http://www.daimi.au.dk/designCPN/

  6. Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2128. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  7. Grahlmann, B., Best, E.: PEP - more than a Petri net tool. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 397–401. Springer, Heidelberg (1996)

    Google Scholar 

  8. Jüngel, M., Kindler, E., Weber, M.: The Petri net markup language. In: Philippi, S. (ed.) 7. Workshop Algorithmen und Werkzeuge für Petrinetze, pp. 47–52. Universität Koblenz-Landau, Germany (2000), http://www.informatik.hu-berlin.de/top/pnml/

    Google Scholar 

  9. Katz, S., Grumberg, O.: VeriTech: Translating among specifications and verification tools. Technical report, The Technion, Haifa, Israel (March 1999)

    Google Scholar 

  10. Kindler, E., Desel, J.: Der Traum von einem universellen Petrinetz- Werkzeug - Der Petrinetz-Kern. In: Desel, J., Oberweis, A., Kindler, E. (eds.) 3. Workshop Algorithmen und Werkzeuge für Petrinetze. Forschungsberichte, vol. 341, Institut AIFB, Universität Karlsruhe (October 1996)

    Google Scholar 

  11. Kindler, E., Weber, M.: The Petri Net Kernel - An infrastructure for building Petri net tools. Software Tools for Technology Transfer (STTT) 3(4), 486–497 (2001)

    MATH  Google Scholar 

  12. Lüder, A., Hanisch, H.-M.: A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415–431 (2000)

    MATH  Google Scholar 

  13. Model-Checking Kit (December 19, 2001), http://wwwbrauer.in.tum.de/gruppen/theorie/KIT/

  14. Petri Net Kernel Team. Documentation of the Java Version of the PNK (August 2001), http://www.informatik.hu-berlin.de/top/pnk/dokujav.html

  15. Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: concepts and design. International Journal on Software Tools for Technology Transfer (STTT) 1(1+2), 9–30 (1997), http://www.eti-service.org/

    Article  MATH  Google Scholar 

  16. Weber, H., Ehrig, H., Reisig, W.: The Petri Net Baukasten of the DFG-Forschergruppe Petri Net Technology. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 1–21. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  17. Weber, M., Kindler, E.: The Petri Net Markup Language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124–144. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Humboldt-Universität zu Berlin,  

    Michael Weber

  2. Fakultät für Informatik, Technische Universität München,  

    Ekkart Kindler

Authors
  1. Michael Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ekkart Kindler
    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

Weber, M., Kindler, E. (2003). The Petri Net Kernel. 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_6

Download citation

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

  • 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