Publikationen zum Fachbereich Petri Net Kernel

Publikationen in Zeitschriften und Büchern

• Ekkart Kindler and Michael Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. International Journal on Software Tools for Technology Transfer (STTT), 3(4): 486-497, September 2001.

  Abstract: The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard operations on Petri nets and a graphical user interface. In this paper, we discuss the motivation, the concepts, and the implementation of the Petri Net Kernel.

  

Konferenzbeiträge und Beiträge auf Workshops

• Michael Weber and Ekkart Kindler. The Petri Net Kernel. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 109-124, 2003. Springer-Verlag.

  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.

  

• Claudia Ermel and Michael Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten. In Hartmut Ehrig, Gabriel Juhas, Julia Padberg, and Grzegorz Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets, volume 2128 of Lecture Notes in Computer Science, pages 79-102, 2001. Springer-Verlag.

  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 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 Petri Net Baukasten and is therefore closely related to the contributions [3, 8, 24] in this volume.

  

• Michael Weber. The new Petri Net Kernel. In Tool Demonstrations, 22nd ICATPN, Newcastle upon Tyne, U.K., June 2001.

• Ekkard Kindler and Michael Weber. The Petri Net Kernel. In Kjeld Høyer Mortensen, editor, Tool Demonstrations, 21. ICATPN, Århus, Denmark, pages 71-75, June 2000.

• Ekkart Kindler and Michael Weber. Der Petrinetz-Kern: Ein Überblick. In E. Schnieder, editor, Entwicklung und Betrieb komplexer Automatisierungssysteme, 6. Fachtagung, Band II, pages 641-642, May 1999.

• Ekkart Kindler and Michael Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. In 20th International Conference on Application and Theory of Petri Nets - Petri Net Tool Presentations, pages 10-19, June 1999. College of William and Mary, Williamsburg, Virginia, USA.

  Abstract: The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard functionality on Petri nets. In this paper, we briefly discuss the motivation, the concepts, and the realization of the Petri Net Kernel.

  

• Michael Weber. Der Petrinetz-Würfel im Petrinetz-Kern. In A. Oberweis J. Desel, editor, 6. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 69-74, October 1999. J. W. Goethe-Universität Frankfurt/Main, Institut für Wirtschaftsinformatik.

• Ekkard Kindler. Der Petrinetz-Kern: Ein Traum wird wahr. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin.

• Ekkard Kindler and Jörg Desel. Der Traum von einem universellen Petrinetz-Werkzeug - Der Petrinetz-Kern. In Jörg Desel, Ekkard Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 27-32, October 1996. Institut AIFB, Universität Karlsruhe.

Technische Berichte

• Jens Hauptmann, Bodo Hohberg, Ekkart Kindler, Ines Schwenzer, and Michael Weber. Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle. Informatik-Berichte 98, Humboldt-Universität zu Berlin, February 1998.

Dokumentationen

• Ekkart Kindler and Michael Weber. The Petri Net Kernel - Documentation of the application interface. 2.0 edition, January 1999.

  Abstract: This document is a combined tutorial and reference guide to the Petri Net Kernel version 2.0 (PNK 2.0 for short). It extends the English short version of the documentation of the PNK 1.1. Due to many request from outside Germany, we have decided not to carry on the German documentation but to provide a full English documentation from version 2.0 on. We hope that German users are not too unhappy about that. In the PNK 2.0, we have extended the interface and slightly improved the editor which is delivered with the PNK. In particular, we have extended the net type interface for defining extensions for any net element: places, transitions, and arcs. With PNK 2.0, we have reached a stable interface for application programmers. Of course, there are ideas for improving the PNK. These ideas, however, do not concern the application interface but will provide more flexible and user definable graphics - including a more appealing graphical user interface and editor functionality. We hope that you enjoy using the Petri Net Kernel and we are grateful for any feedback - positive or negative.

  

Studien- und Diplomarbeiten

• Yvonne Gabriel. Anbindung externer Werkzeuge an den Petrinetz-Kern am Beispiel des Integrated Net Analyser. Studienarbeit, Humboldt-Universität zu Berlin, April 2004.

zurück zur Übersicht