Projekt : Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung

Prof. Dr. Valk, Professor
Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Dr. Olaf Kummer, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Heiko Rölke, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Michael Köhler-Bußmeier, PD
Dr. Michael Duvigneau, ehemaliger Wissenschaftlicher Mitarbeiter , Lehrkraft für besondere Aufgaben
Dr. Jan Ortmann, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Lawrence Cabac, Wissenschaftlicher Mitarbeiter
Sven Offermann, ehemaliger Wissenschaftlicher Mitarbeiter , Doktorand
Dr. Christine Reese, ehemalige Doktorandin
Michael Haustermann, Wissenschaftlicher Mitarbeiter
David Mosteller, Wissenschaftlicher Mitarbeiter

Till Kothe, ehemaliger Student
Benjamin Schleinzer, ehemaliger Student
Volker Tell, ehemaliger Student

Laufzeit: seit 1996

Schlagworte: Petrinetze, Referenznetze, Simulation, Werkzeug, Java, Softwaretechnik, Spezifikation, Prototyping, Renew

Ziele: Ziel dieses Projektes ist es, die Möglichkeiten von existierenden Petrinetz-Werkzeugen zu untersuchen, Erweiterungsmöglichkeiten zu prüfen und die gefundenen Konzepte vereinheitlicht in eigene Werkzeuge zu integrieren.
Der Einsatz von leistungsfähigen Werkzeugen im Bereich der Spezifikation, Realisierung und Validierung von Systemen ist zwingend notwendig. Als technische Komponenten von Petrinetz-Werkzeugen wurden Editoren, Simulatoren, Animatoren, Analysatoren, Codegeneratoren und Repositories herausgestellt.
Zur interaktiven Hervorhebung von Sichten auf eine Systemspezifikation werden die konzeptionellen und technischen Möglichkeiten für eine direkte dreidimensionale Navigation durch ein Spezifikationsmodell untersucht. Dabei soll abweichend von zweidimensionalen und geschichteten zweidimensionalen Modellen eine beliebige dreidimensionale Repräsentation unter Verwendung vielfältiger graphischer Spezialeffekte behandelt werden.

Die Arbeit am Petrinetzwerkzeug Renew wurde fortgesetzt. Das Werkzeug wurde einem Refactoring unterzogen und dann architekturell auf eine Plug-In-Architektur erweitert. Erreicht wurde so eine höhere Adaptivität durch Plug-Ins und die konzeptionelle Nutzung von verschiedenen Formalismen. Damit ist das Werkzeug Multi-Formalismen-fähig. Aufgrund der Plug-In-Architektur konnten mehrere Plug-Ins mit neuer Funktionalität in Renew integriert werden. Dabei werden sowohl die grundsätzlichen Möglichkeiten als auch neue Formalismen eingeführt.
Renew wurde 1999 als Open-Source-Produkt verfügbar gemacht, verzeichnet bereits jetzt über 6000 Downloads und ist damit international eines der meistbenutzten Petrinetzwerkzeuge. Am Fachbereich wurde das Werkzeug in mehreren Studien- und Diplomarbeiten sowie in Vorlesungen und Projekten verwendet. Es bildete den praktischen Kernpunkt zweier Dissertationsvorhaben. Weiterhin wird es im DFG-Projekt Sozionik (TGI) eingesetzt. Derzeit wird an einer agentenorientierten Erweiterung gearbeitet. Es erfolgte eine Einbettung in den Kontext europäischer Projekte von Agentcities und OpenNet.

Publikationen:

2015

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

2014

Lawrence Cabac , David Mosteller , and Matthias Wester-Ebbinghaus.
Modeling organizational structures and agent knowledge for Mulan applications.
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), pages 62-82, 2014.  [link]

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

2013

Lawrence Cabac and Michael Simon.
Introducing catch arcs to Java Reference Nets.
In Moldt and Rölke (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings, pages 155-168.  [link]

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

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

2012

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

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

2011

Tobias Betz, Lawrence Cabac , and Matthias Güttler.
Improving the development tool chain in the context of Petri net-based software development.
In Duvigneau et al. (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 167-178.

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Matthias Wester-Ebbinghaus.
Towards unit testing for Java reference nets.
In Bergenthum and Desel (Hrsg.), Algorithmen und Werkzeuge für Petrinetze. 18. Workshop AWPN 2011, Hagen, September 2011. Tagungsband, pages 1-6.

Marcin Hewelt, Thomas Wagner, and Lawrence Cabac .
Integrating verification into the PAOSE approach.
In Duvigneau et al. (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135.

2010

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications.
Dissertation, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, April 2010.
http://www.sub.uni-hamburg.de/opus/volltexte/2010/4666/.  [link]

2009

Lawrence Cabac , Kolja Markwardt, and Jan Schlüter.
ImageNetDiff: Finding differences in models.
In Moldt et al. (Hrsg.), Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pages 156-161.

Lawrence Cabac .
Net components: Concepts, tool, praxis.
In Moldt (Hrsg.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 17-33.

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]

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]

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. (Hrsg.), 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. (Hrsg.), 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 Jörg 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 (Hrsg.), 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.