MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  The Petri Net Kernel: An Infrastructure for Building Petri Net Tools (2001) [16 citations — 4 self]

Download:
Download as a PDF | Download as a PS
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