The Petri Net Kernel: An infrastructure for building Petri net tools

International Journal on Software Tools for Technology Transfer

Volumn 3, Issue 4, 2001, Pages 486-497

  Kindler, Ekkart ^a,b   Weber, Michael ^b  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Generic tools; Petri net; Petri net API; Petri net types; Tool development

Indexed keywords

GENERIC TOOLS; TOOL DEVELOPMENT;

GRAPHICAL USER INTERFACES; TOOLS;

PETRI NETS;

EID: 84896898870     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090100055     Document Type: Article

References (31)

1. Abdourahaman.: Model checking for DAWN. Master's thesis, Institut für Informatik, Humboldt-Universiẗat zu Berlin, 2000
2. Baar, T., Kindler, E.: ILF and DAWN for verifying distributed algorithms - an idea for a tool. Fundam Inf 37(3): 201-211, 1999
3. Baar, T., Kindler, E., Völzer, H., Hagen V.: Verifying intuition - ILF checks DAWN proofs. In: Donatelli, S., Kleijn, J. (eds.): Application and theory of Petri nets 1999, 20th International Conference. LNCS 1639. Berlin, Heidelberg, New York: Springer-Verlag, 1999, pp. 404-423
4. Baumgarten, B.: Petri-Netze: Grundlagen und Anwendungen. 2nd edn. Spektrum Akademischer, 1996
5. Bause, F., Buchholz, P., Kemper, P.: A toolbox for functional and quantitative analysis of DEDS. Forschungsberichte, Uni-versiẗat Dortmund, Fachbereich Informatik, 1998
6. Bause, F., Kemper, P., Kritzinger, P.: Abstract Petri net notation. Petri Net Newsl 49: 9-27, 1995
7. Chouikha, A., Fay, A., Schnieder, E.: Konzept eines Frameworks für Petrinetz-Editoren. In: Desel, J., Kemper, P., Kindler, E., Oberweis, A. (eds.): 5. Workshop Algorithmen und Werkzeuge für Petrinetze, no. 694 in Research Reports, pp. 32-37, Universiẗat Dortmund, Fachbereich Informatik, 1998
8. Design/CPN online: http://www.daimi.au.dk/designCPN/, 2000
9. Ermel, C., Weber, M.: Implementation of parameterized net classes with the Petri Net Kernel. In: Rozenberg, G., Ehrig, H., Padberg, J., Juh́as, G. (eds.): Unifying Petri nets, Advances in Petri nets. Berlin, Heidelberg, New York: Springer-Verlag, 2001 (to appear)
10. Erwin, T.: Anbindung von Vipsim an den Petrinetz-Kern. Stu-dienarbeit, Universiẗat Karlsruhe. 1998
11. Grahlmann, B.: The PEP tool. In: Tool presentations of ATPN'97 (Application and Theory of Petri Nets). 1997 http://theoretica.informatik.uni-oldenburg.de/~pep/
12. Jensen, K.: Coloured Petri nets, vol. 1: basic concepts. EATCS Monographs on Theoretical Computer Science. Berlin, Heidelberg, New York: Springer-Verlag, 1992
13. Kindler, E., Desel, J.: Der Traum von einem universellen Petrinetz-Werkzeug - Der Petrinetz-Kern. In: Desel, J., Ober-weis, A., Kindler, E. (eds.): 3. Workshop Algorithmen und Werkzeuge für Petrinetze, no. 341 in Forschungsberichte, In-stitut AIFB, Universiẗat Karlsruhe, 1996
14. Kindler, E., Oschmann, F.: The Petri Net Kernel: an INA-Pilot. In: Desel, J., Kemper, P., Kindler, E., Oberweis, A. (eds.): Workshop Algorithmen und Werkzeuge für Petrinetze, no. 694 in Research Reports, Universiẗat Dortmund, Fachbere-ich Informatik, pp. 62-66, 1998
15. Kindler, E., Reisig, W., Völzer, H., Walter, R.: Petri Net-based verification of distributed algorithms: an example. Formal Aspects Comput 9: 409-424, 1997
16. Kindler, E., Vesper, T., Weber, M.: Application-oriented verification scenarios. In: Weber, H., Ehrig, H., Reisig, W. (eds.): Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, (pp. 279-297), Fraunhofer Gesellschaft, 1999
17. Kindler, E., Weber, M.: The dimensions of Petri nets: the Petri net cube. Bull EATCS 66: 155-166, 1998
18. Kindler, E., Weber, M.: The Petri Net Kernel. Documentation of the Application Interface. PNK Version 2.0. Humboldt-Universiẗat zu Berlin, Institut f̈ur Informatik. http://www.informatik.hu-berlin.de/kindler/PN-Kern/, 1999
19. Lutz, M.: Programming Python. O'Reilly, 1996
20. MASI, Laboratoire: MARS: Methods and analysis for reliable systems. Institut Blaise Pascal, Universit́e P. & M. Curie, Paris, 1994
21. Menzel, T.: Entwurf und Implementierung eines objektorien-tierten Frameworks zur Petrinetzbasierten Modellierung. In: Desel, J., Kindler, E., Oberweis, A. (eds.): 4. Workshop Algo-rithmen und Werkzeuge f̈ur Petrinetze, no. 85 in Informatik-Berichte, pp. 25-30, Humboldt-Universiẗat zu Berlin, Institut für Informatik, 1997
22. Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs, N.J., USA, 1981
23. Python Language Website.: http://www.python.org/, 2000
24. Reisig, W.: Petri nets, vol. 4. EATCS Monographs on Theoretical Computer Science. Berlin, Heidelberg, New York: Springer-Verlag, 1985
25. Reisig, W.: Elements of distributed algorithms - modeling and analysis with Petri nets. Berlin, Heidelberg, New York: Springer-Verlag, 1998
26. Ritz, T.: Der Petrinetz-Kern: DAWN-Netze. Studienarbeit, Humboldt-Universiẗat zu Berlin, 1998
27. Roch, S., Starke, P.: INA. Integrierter Netz Analysator Version 2.1. Informatik-Berichte 101, Humboldt Univer-siẗat zu Berlin. http://www.informatik.hu-berlin.de/-lehrstuehle/automaten/ina/, 1998
28. Unger, S.: Automatisches Uberprüfen von DAWN-Beweisen. Master's thesis, Institut f̈ur Informatik, Humboldt-Universiẗat zu Berlin, 1999
29. Vesper, T. Weber, M.: Automatisches Verteiltes Rücksetzen. In: Spies, K., Scḧatz, B. (eds.): Formale Beschreibungstech-niken für verteilte Systeme. 9. GI/ITG Fachgespr̈ach, pp. 253-261, Herbert Utz Verlag, 1999
30. Weber, M., Walter, R., Völzer, H., Vesper, T., Reisig, W., Peuker, S., Kindler, E., Freiheit, J., Desel, J.: DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. Informatik-Bericht 88, Humboldt-Universiẗat zu Berlin, 1997
31. Weber, M.: Der Petrinetz-Würfel im Petrinetz-Kern. In: De-sel, J. and Oberweis, A. (eds.): 6. Workshop Algorithmen und Werkzeuge für Petrinetze, pp. 69-74, J. W. Goethe-Universiẗat Frankfurt/Main, Institut f̈ur Wirtschaftsinfor-matik, 1999