Facultad MIN
Departamento Informática
Fundamentos Teóricos de Informáticas

Proyecto :

Prof. Dr. Valk, profesor
Dr. Daniel Moldt, investigador
Dr. Olaf Kummer, anterior investigador
Dr. Heiko Rölke, anterior investigador
Dr. Michael Köhler-Bußmeier, PD
Dr. Michael Duvigneau, anterior investigador , academista
Dr. Jan Ortmann, anterior investigador
Dr. Lawrence Cabac, investigador
Sven Offermann, anterior investigador , candidato doctoral
Dr. Christine Reese, anterior candidata doctoral

Till Kothe, anterior estudiante
Benjamin Schleinzer, anterior estudiante
Volker Tell, anterior estudiante

Duración: desde 1996

Palabras clave:

Destinos:

Publicaciones:

2008

Lawrence Cabac and Nicolas Denz.
Net components for the integration of process mining into agent-oriented software engineering.
Transactions on Petri Nets and Other Models of Concurrency I (ToPNoC), 5100:86-103, November 2008.

Lawrence Cabac , Till Dörges , and Heiko Rölke.
A monitoring toolset for Petri net-based agent-oriented software engineering.
In Rüdiger Valk and Kees M. van Hee, editors, 29th International Conference on Application and Theory of Petri Nets, Xi'an, China, volume 5062 of Lecture Notes in Computer Science, pages 399-408. Springer-Verlag, June 2008.  [pdf]

Lawrence Cabac , Till Dörges , Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus.
Agent models for concurrent software systems.
In Ralph Bergmann and Gabriela Lindemann, editors, Proceedings of the Sixth German Conference on Multiagent System Technologies, MATES'08, volume 5244 of Lecture Notes in Artificial Intelligence, pages 37-48, Berlin, Heidelberg, New York, 2008. Springer-Verlag.  [pdf]

Lawrence Cabac and Jan Schlüter.
ImageNetDiff: A visual aid to support the discovery of differences in Petri nets.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 93-98. Universität Rostock, September 2008.  [link]

Lawrence Cabac , Daniel Moldt, and Jan Schlüter.
Adding runtime net manipulation features to MulanViewer.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 87-92. Universität Rostock, September 2008.  [link]

Lawrence Cabac , Ragna Dirkner, and Daniel Moldt.
Modeling with service dependency diagrams.
In Moldt et al. (ed.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pages 109-118.

Klaus Mitreiter.
Einbetten der grafischen Benutzungsschnittstelle von Renew in Eclipse.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, January 2008.

2007

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Benjamin Schleinzer .
Plugin-agents as conceptual basis for flexible software structures.
In Multi-Agent Systems and Applications V. Fifth International Central and East European Conference, CEEMAS'07, Leipzig. Proceedings, volume 4696 of Lecture Notes in Computer Science, pages 340-342, Berlin, Heidelberg, New York, 2007. Springer-Verlag.  [pdf]

Felix Simmendinger, Lawrence Cabac , Michael Duvigneau, and Nicolas Knaak.
Controlling OSGi bundles with Petri nets.
In Moldt et al. (ed.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 220-225.

Felix Simmendinger.
Referenznetze zur Modellierung von wissenschaftlichen Workflows am Beispiel der Steuerung von Simulationsexperimenten.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2007.

2006

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Applying multi-agent concepts to dynamic plug-in architectures.
In Joerg Mueller and Franco Zambonelli, editors, Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, Netherlands, July 21, 2005. Revised Selected Papers, volume 3950 of Lecture Notes in Computer Science, pages 190-204, Berlin, Heidelberg, New York, June 2006. Springer-Verlag.  [pdf]  [link]

Michael Duvigneau, Heiko Rölke, and Frank Wienberg.
Informal introduction to the feature structure nets tool - a tool for process and information modeling.
In Moldt (ed.), Proceedings of the 13th Workshop Application and Tools for Petri Nets. AWPN'06, pages 85-91.  [pdf]

Release 2.1

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]

2005

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Modeling dynamic architectures using nets-within-nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 148-167, 2005.  [pdf]  [link]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Multi-agent concepts as basis for dynamic plug-in software architectures.
In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 1157-1158, 2005.

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Agent technologies for plug-in system architecture design.
In Proceedings of the Workshop on Agent-oriented Software Engineering (AOSE), Utrecht, Netherlands, 2005.  [pdf]

2004

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]

Daniel Moldt and Jan Ortmann.
DaGen: A tool for automatic translation from DAML-S to high-level Petri nets.
In Michel Wermelinger and Tiziana Margaria-Steffen, editors, Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings, volume 2984 of Lecture Notes in Computer Science, pages 209-213, Berlin, Heidelberg, New York, 2004. Springer-Verlag.

Release 2.0

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]

2003

Christine Reese.
Multiagentensysteme: Anbindung der petrinetzbasierten Plattform CAPA an das internationale Netzwerk Agentcities.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003.  [pdf]

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

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

Release 1.6

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.

Release 1.5

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

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

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.

Release 1.4

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]

Release 1.3

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]

Release 1.2

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]

1999

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.

Release 1.1

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]

Release 1.0

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]

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.