Download:
|
by Ekkart Kindler, Michael Weber
Software Tools for Technology Transfer (STTT
http://www.informatik.hu-berlin.de/~mweber/Postscript/PNKInfra.ps
Add To MetaCart
Abstract:
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 brieAEy discuss the motivation, the concepts, and the realization of the Petri Net Kernel. 1
Citations
|
57
|
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
– Reisig
- 1998
|
|
33
|
The pep tool
– Grahlmann
- 1997
|
|
6
|
The Petri Net Kernel: An INA-pilot
– Kindler, Oschmann
- 1998
|
|
5
|
A toolbox for functional and quantitative analysis
– Bause, Buchholz, et al.
- 1998
|
|
3
|
Automatisches berprfen von DAWN-Beweisen. Masters thesis, HumboldtUniversit t zu
– Unger
- 1999
|
|
2
|
Anbindung von Vipsim an den Petrinetz-Kern
– Erwin
- 1998
|
|
2
|
Petri net based verication of distributed algorithms: An example
– Kindler, Reisig, et al.
- 1997
|
|
2
|
The dimensions of Petri nets: The Petri Net Cube
– Kindler, Weber
- 1998
|
|
2
|
Petrinetz-Kern: DAWN-Netze. Studienarbeit, Humboldt-Universitt zu
– Der
- 1998
|
|
2
|
Integrierter Netz Analysator Version 2.1. InformatikBerichte 101, Humboldt Universitt zu
– INA
- 1998
|
|
2
|
DAWN: Petrinetzmodelle zur Verikation Verteilter Algorithmen. InformatikBericht 88, Humboldt-Universitt zu
– Weber, Walter, et al.
- 1997
|
|
1
|
Ekkart Kindler und Hagen Vlzer. Verifying intuition ILF checks DAWN proofs
– Baar
- 1999
|
|
1
|
Konzept eines Frameworks fr Petrinetz-Editoren
– Chouikha, Fay, et al.
- 1998
|
|
1
|
Dokumentation der Anwendungsschnittstelle. Informatik-Berichte 98, Humboldt-Universitt zu
– Petrinetz-Kern
- 1998
|
|
1
|
Mars: Methods and analysis for reliable systems
– MASI
- 1994
|
|
1
|
Entwurf und Implementierung eines objektorientierten Frameworks zur Petrinetzbasierten Modellierung
– Menzel
- 1997
|