TGI

• Homepage
• Announcements
• Staff
• Students

Education

• Education (German only)
• Thesis (German only)

Research

• Research
• Publications

Misc

• Service
• Tools
• Petri Nets World
  

Bibliography

Olaf Kummer

2009

Olaf Kummer, Frank Wienberg, Michael Duvigneau, and Lawrence Cabac .
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, August 2009.
Release 2.2.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, and Lawrence Cabac .
Renew - User Guide (Release 2.2).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, August 2009.
Available at: http://www.renew.de/.  [link]

2006

Roxana Dietze, Manfred Kudlek, and Olaf Kummer.
On decidability problems of a basic class of object nets.
Technical Report FBI-HH-B-270/06, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2006.

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, May 2006.
Release 2.1.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 2.1 edition, May 2006.
Available at: http://www.renew.de/.  [link]

2004

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, June 2004.
Release 2.0.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 2.0 edition, June 2004.
Available at: http://www.renew.de/.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
An extensible editor and simulation engine for Petri nets: Renew.
In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings, volume 3099 of Lecture Notes in Computer Science, pages 484-493, Berlin, Heidelberg, New York, June 2004. Springer.  [pdf]  [link]

2003

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Michael Köhler, Daniel Moldt, and Heiko Rölke.
Renew - the Reference Net Workshop.
In Eric Veerbeek, editor, Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets (ATPN 2003). International Conference on Business Process Management (BPM 2003)., pages 99-102. Department of Technology Management, Technische Universiteit Eindhoven, Beta Research School for Operations Management and Logistics, June 2003.  [pdf]

2002

Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche.
Implementation of workflow systems using reference nets - security and operability aspects.
In Kurt Jensen, editor, Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Ny Munkegade, Bldg. 540, DK-8000 Aarhus C, Denmark, August 2002. University of Aarhus, Department of Computer Science.
DAIMI PB: Aarhus, Denmark, August 28-30, number 560.

Olaf Kummer.
Referenznetze.
Logos Verlag, Berlin, 2002.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, October 2002.
Release 1.6.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.6 edition, October 2002.
Available at: http://www.renew.de/.  [link]

2001

Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Persistent Petri net execution.
Petri Net Newsletter, 61:18-26, October 2001.

Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Database backing for Petri net simulations.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl für angewandte Informatik, KU Eichstätt, 2001.

Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Datenbank-Sicherung für Petrinetze.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl für angewandte Informatik, KU Eichstätt, 2001.

Olaf Kummer.
Introduction to Petri nets and reference nets.
Sozionik Aktuell, 1:1-9, 2001.
ISSN 1617-2477.

Olaf Kummer.
Axiomatic Systems in Concurrency Theory.
Logos Verlag, Berlin, 2001.
ISBN 3-89722-597-2.

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, May 2001.
Release 1.5.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.5 edition, May 2001.
Available at: http://www.renew.de/.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - Architecture Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.5 edition, May 2001.
Available at: http://www.renew.de/.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - XML Format Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.5 edition, May 2001.
Available at: http://www.renew.de/.  [link]

2000

Berhanu Beyene, Manfred Kudlek, and Olaf Kummer.
Notes on encoding ethiopic for LaTeX.
Aethiopica, 3:International Journal of Ethiopian Studies, Harrassowitz Verlag, Wiesbaden, 132-152, 2000.

Olaf Kummer.
Undecidability in object-oriented Petri nets.
Petri Net Newsletter, 59:18-23, 2000.

Olaf Kummer, Annette Laue, Matthias Liedtke, Daniel Moldt, and Heiko Rölke.
Höhere Petrinetze zur kompakten Modellierung und Implementierung von Verhalten.
In Holger Giese and Stephan Philippi, editors, Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM, Techreport 24/00-I, pages 27-32. Universität Münster, 2000.
Verfügbar unter urlhttp://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/ urlprogramm.html.

Olaf Kummer, Daniel Moldt, and Frank Wienberg.
XML and Petri nets - following the forces.
In Rémi Bastide, Jonathan Billington, Ekkart Kindler, Fabrice Kordon, and Kjeld H. Mortensen, editors, Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark, 21st International Conference on Application and Theory of Petri Nets at Aarhus, Denmark, June 26-30, pages 13-17. Aarhus University, 2000.
Verfügbar unter url http://www.daimi.au.dk/pn2000/Interchange/.  [link]

Olaf Kummer and Frank Wienberg.
The XML file format of Renew.
In Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark, 2000.
Verfügbar unter urlhttp://www.daimi.au.dk/pn2000/Interchange/detailed.html.

Olaf Kummer and Frank Wienberg.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, May 2000.
Release 1.2.  [link]

Olaf Kummer and Frank Wienberg.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.2 edition, May 2000.
Available at: http://www.renew.de/.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, September 2000.
Release 1.3.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.3 edition, September 2000.
Available at: http://www.renew.de/.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, November 2000.
Release 1.4.  [link]

Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.4 edition, November 2000.
Available at: http://www.renew.de/.  [link]

1999

Olaf Kummer and Frank Wienberg.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, March 1999.
Release 1.0.  [link]

Olaf Kummer and Frank Wienberg.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.0 edition, March 1999.
Available at: http://www.renew.de/.  [link]

Olaf Kummer and Frank Wienberg.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, October 1999.
Release 1.1.  [link]

Olaf Kummer and Frank Wienberg.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 1.1 edition, October 1999.
Available at: http://www.renew.de/.  [link]

Olaf Kummer.
A Petri net view on synchronous channels.
Petri Net Newsletter, 56:7-11, 1999.

Olaf Kummer.
Tight integration of Java and Petri nets.
In Jörg Desel and Andreas Oberweis, editors, 6. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 30-35. J.W. Goethe-Universität, Institut für Wirtschaftinformatik, Frankfurt am Main, 1999.

Olaf Kummer, Daniel Moldt, and Frank Wienberg.
Symmetric communication between coloured Petri net simulations and Java-processes.
In Susanna Donatelli and Jetty Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, volume 1639 of Lecture Notes in Computer Science, pages 86-105. Springer-Verlag, June 1999.

Olaf Kummer and Frank Wienberg.
Renew - the Reference Net Workshop.
Petri Net Newsletter, 56:12-16, 1999.

1998

Olaf Kummer.
Simulating synchronous channels and net instances.
In Jörg Desel, Peter Kemper, Ekkart Kindler, and Andreas Oberweis, editors, Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, number Forschungsbericht Nr. 694, pages 73-78. Fachbereich Informatik, Universität Dortmund, 1998.

Olaf Kummer, Daniel Moldt, and Frank Wienberg.
A framework for interacting Design/CPN- and Java processes.
In Jensen (eds.), Workshop on Practical Use of Coloured Petri Nets and Design/CPN 1998, pages 131-150.

1996

Olaf Kummer.
Axiomensysteme für die Theorie der Nebenläufigkeit.
Berlin: Logos Verlag, 1996.

Olaf Kummer.
Axiomensysteme für die Theorie der Nebenläufigkeit.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1996.

1994

Olaf Kummer.
Modellierung eines Aufzugsystems mit Petri-Netzen.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, June 1994.