Ekkart Kindler and Jrg Desel. Der Traum von einem universellen PetrinetzWerkzeug: Der Petrinetz-Kern. In Jrg Desel, Ekkart Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge fr Petrinetze, Karlsruhe, October 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Implementation of Parameterized Net Classes with the Petri Net .. - Ermel, Weber (2001) (1 citation) (Correct)
....Figure 2. The parameters can be seen as the two dimensions of the square, whereas well known Petri net types each correspond to one point in the Petri Net Square. 3 The Petri Net Kernel The development of the Petri Net Kernel (PNK) was initiated in 1996 as a vision of a universal Petri net tool [15]. Today, the Petri Net Kernel [14] is an infrastructure for an easy implementation of Petri net al..gorithms concerning simulation, analysis or veri cation of Petri nets. The PNK realizes standard operations on nets like loading and saving of nets, accessing and modifying net characteristics. Hence, ....
Ekkart Kindler and Jrg Desel. Der Traum von einem universellen PetrinetzWerkzeug: Der Petrinetz-Kern. In Jrg Desel, Ekkart Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge fr Petrinetze, Karlsruhe, October 1996.
The Petri Net Kernel: An Infrastructure for Building Petri Net .. - Kindler, Weber (1999) (3 citations) Self-citation (Kindler) (Correct)
....from building a graphical user interface. The Petri Net Kernel is not restricted to a particular Petri net type. It is possible to use the Petri Net Kernel with one s own Petri net type and its speci c extensions. The design of the Petri Net Kernel was driven by the following objectives [8]: 1. The implementation of a new algorithm for analysis, simulation, or veri cation should be as easy as possible. It should be possible to concentrate on the implementation of the algorithm rather than on implementing a parser for reading a net from some le or on implementing a graphical ....
Ekkart Kindler and Jrg Desel. Der Traum von einem universellen Petrinetz-Werkzeug Der Petrinetz-Kern. In J. Desel, A. Oberweis, and E. Kindler, editors, 3. Workshop Algorithmen und Werkzeuge fr Petrinetze, Forschungsbericht 341. Institut AIFB, Universitt Karlsruhe, October 1996.
The Petri Net Kernel: An Infrastructure for Building Petri Net .. - Kindler, Weber (1999) (3 citations) Self-citation (Kindler) (Correct)
....or modifying the net structure, and from building a graphical user interface. The Petri Net Kernel is not restricted to a particular Petri net type. It is possible to use the Petri Net Kernel with one s own Petri net type and its specic extensions. The Petri Net Kernel has the following objectives [7]: 1. The implementation of a new algorithms for analysis, simulation, or verication should be as easy as possible. It should be possible to concentrate on the implementation of the algorithm rather than on implementing a parser for reading a net from some le or on implementing a graphical ....
Ekkart Kindler and J#rg Desel. Der Traum von einem universellen PetrinetzWerkzeug Der Petrinetz-Kern. In J. Desel, A. Oberweis, and E. Kindler, editors,
Application Oriented Verification Scenarios - Kindler, Vesper, Weber Self-citation (Kindler) (Correct)
.... . z Email: kindler vesper mweber informatik.hu berlin.de con dence in the correctness of a system. Moreover, we will show how these techniques t into the Petri Net Baukasten [Pad99, DFG99] and we will discuss the possible tool support for these techniques by the help of the Petri Net Kernel [KD96, KW99] To this end, we will present some scenarios in which di erent veri cation techniques are used to increase the con dence in correctness. It will turn out that the con dence increases with the spent effort. In the simplest case, veri cation means pressing some buttons of a tool. In order to ....
E. Kindler and J. Desel. Der Traum von einem universellen PetrinetzWerkzeug Der Petrinetz-Kern. In J. Desel, A. Oberweis, and E. Kindler, editors, 3. Workshop Algorithmen und Werkzeuge fr Petrinetze, number 341 in Forschungsberichte. Institut AIFB, Universitt Karlsruhe, October 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC