Project : Petri Net and Agent-Based Applications

Dr. Michael Duvigneau, former research assistant , teacher
Dr. Daniel Moldt, research assistant
Dr. Christine Reese, former doctorand
Dr. Heiko Rölke, former research assistant
Sven Offermann, former research assistant , doctorand
Dr. Jan Ortmann, former research assistant
Dr. Lawrence Cabac, research assistant
Dr. Michael Köhler-Bußmeier, PD
Dr. Kolja Markwardt (nee Lehmann)
Matthias Wester-Ebbinghaus, former research assistant

Valentin Seegert, former student

Duration: since 2001

Keywords: Renew, Mulan, Agent, Capa, Börsenspiel, Settler, Workflow Management System

Objectives:

Petri nets are used for specific applications in the TGI group since several years. In different perennial projects, petri net and agent-oriented applications are developed, e.g. the "Börsenspiel" and the Settler game.

Precise goals:

• Programming with reference nets
• Using, testing and trigger further development of Mulan/Capa
• Using the agent paradigm to structure distributed systems
• Design of an agentoriented approach to the development of distributed, complex systems (PAOSE)

Publications:

2014

Tobias Betz, Lawrence Cabac , Michael Duvigneau, Thomas Wagner, and Matthias Wester-Ebbinghaus.
Software engineering with petri nets: a web service and agent perspective.
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), pages 41-61, 2014.  [link]

2013

Tobias Betz, Lawrence Cabac , Michael Duvigneau, Thomas Wagner, and Matthias Wester-Ebbinghaus.
Integrating web services in Petri net-based agent applications.
In Moldt and Rölke (eds.), Petri Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings, pages 97-116.  [link]

Thomas Wagner and Lawrence Cabac .
Advantages of a full integration between agents and workflows.
In Moldt (eds.), Modeling and Buisness Environments MODBE'13, Milano, Italia, June 2013. Proceedings, pages 353-354.

2011

Tobias Betz, Lawrence Cabac , and Matthias Wester-Ebbinghaus.
Gateway architecture for Web-based agent services.
In Franziska Klügl and Sascha Ossowski, editors, Multiagent System Technologies, volume 6973 of Lecture Notes in Computer Science, pages 165-172. Springer Berlin / Heidelberg, 2011.  [link]

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

2010

Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Quenum, Axel Theilmann, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Herold - agent-oriented, policy-based network security management.
In Future Security, 5th Security Research Conference, Berlin; 2010, 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]

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications, volume 5 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2010.

Daniel Moldt, Michael Köhler-Bußmeier, Axel Theilmann, Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Dimitri Popov, José Quenum, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Modelling distributed network security in a Petri net and agent-based approach.
In Jürgen Dix and Cees Witteveen, editors, Multiagent System Technologies. 8th German Conference, MATES 2010, Leipzig, Germany, September 27-28, 2010. Proceedings, volume 6251 of Lecture Notes in Artificial Intelligence, pages 209-220, Berlin, Heidelberg, New York, September 2010. Springer-Verlag.

2009

Lawrence Cabac , Kolja Markwardt, and Jan Schlüter.
ImageNetDiff: Finding differences in models.
In Moldt et al. (eds.), 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 and Daniel Moldt.
Support for modeling roles and dependencies in multi-agent systems.
In Köhler-Bußmeier et al. (eds.), Organizational Modelling, International Workshop, OrgMod'09. Proceedings, pages 15-33.
Preproceedings available online at http://www2.informatik.uni-hamburg.de/tgi/events/orgmod09/#proceedings.

Lawrence Cabac , Daniel Moldt, Matthias Wester-Ebbinghaus, and Eva Müller.
Visual representation of mobile agents - modeling mobility within the prototype MAPA.
In Duvigneau and Moldt (eds.), Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents, MOCA'09, Hamburg, pages 7-28.

2008

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]

Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges , Lawrence Cabac , and Daniel Moldt.
Introducing a process infrastructure for agent systems.
In Mehdi Dastani, Amal El Fallah, João Leite, and Paolo Torroni, editors, LADS'007 Languages, Methodologies and Development Tools for Multi-Agent Systems, volume 5118 of Lecture Notes in Artificial Intelligence, pages 225-242, 2008.
Revised Selected and Invited Papers.

2007

Lawrence Cabac , Till Dörges , Michael Duvigneau, Christine Reese, and Matthias Wester-Ebbinghaus.
Application development with Mulan.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 145-159.

Lawrence Cabac and Till Dörges .
Tools for testing, debugging and monitoring multi-agent applications.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 209-213.

Lawrence Cabac , Michael Duvigneau, Christine Reese, Till Dörges , and Matthias Wester-Ebbinghaus.
Models and tools for Mulan applications.
In H.-D. Burkhard, G. Lindemann, R. Verbrugge, and L. Varga, editors, 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 328-330, Berlin, Heidelberg, New York, 2007. Springer-Verlag.  [pdf]

Lawrence Cabac , Till Dörges , Michael Duvigneau, Christine Reese, and Matthias Wester-Ebbinghaus.
Application development with Mulan.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 145-159.

2006

Christine Reese, Sven Offermann, and Daniel Moldt.
Architektur für verteilte, agentenbasierte Workflows.
In Mareike Schoop, Christian Huemer, Michael Rebstock, and Martin Bichler, editors, Service-oriented Electronic Commerce im Rahmen der Multikonferenz Wirtschaftsinformatik 2006 (MKWI 2006), volume P-80 of Lecture Notes in Informatics (LNI) - Proceedings, pages 73-87, Bonn, 2006. Gesellschaft für Informatik, Köllen Druck+Verlag GmbH.  [pdf]

Christine Reese, Kolja Markwardt, Sven Offermann, and Daniel Moldt.
Distributed business processes in open agent environments.
In Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, and José Cordeiro, editors, ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 2006, pages 81-86, 2006.

Lawrence Cabac , Michael Duvigneau, and Heiko Rölke.
Net components revisited.
In Moldt (eds.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 87-102.  [pdf]

2005

Steven Willmott, Martin Beer, Richard Hill, Dominic Greenwood, Monique Calisti, Ian Mathieson, Lin Padgham, Christine Reese, Kolja Lehmann, Thorsten Scholz, and M. Omar Shafiq.
Netdemo: opennet networked agents demonstration.
In Michael Pechoucek, Donald Steiner, and Simon Thompson, editors, AAMAS 2005. Proceedings (Industry Track), pages 129-130, 2005.
2 individual demos: (1) CAPA: The CAPA Mobile Chat Agent & Web Services Gateway Agent and (2) Settler: AgentBased Settler Game.

Christine Reese, Jan Ortmann, Daniel Moldt, Sven Offermann, Kolja Lehmann, and Timo Carl.
Architecture for distributed agent-based workflows.
In Brian Henderson-Sellers and Michael Winikoff, editors, Proceedings of the Seventh International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2005), Utrecht, Niederlande, as part of AAMAS 2005 (Autonomous Agents and Multi Agent Systems), July 2005, pages 42-49, 2005.

Lawrence Cabac , Michael Duvigneau, Michael Köhler, Kolja Lehmann, Daniel Moldt, Sven Offermann, Jan Ortmann, Christine Reese, Heiko Rölke, and Volker Tell.
PAOSE Settler demo.
In First Workshop on High-Level Petri Nets and Distributed Systems (PNDS) 2005, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2005. Universität Hamburg, Fachbereich Informatik.  [link]

Kolja Markwardt, Daniel Moldt, Sven Offermann, and Christine Reese.
Using multi-agent systems for change management processes in the context of distributed software development processes.
In Shazia Sadiq, Manfred Reichert, and Karsten Schulz, editors, The 1st International Workshop on Technologies for Collaborative Business Process Management (TCoB 2006), pages 56-66, 2006.

2004

Heiko Rölke.
Modellierung von Agenten und Multiagentensystemen - Grundlagen und Anwendungen, volume 2 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004.  [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]

Christine Reese, Michael Duvigneau, Michael Köhler, Daniel Moldt, and Heiko Rölke.
Agent-based Settler game.
In Proceedings of Agentcities Agent Technology Competition (ATC03), Barcelona, Spain. Agentcities.NET, February 2003.

Lawrence Cabac , Daniel Moldt, and Heiko Rölke.
A proposal for structuring Petri net-based agent interaction protocols.
In Wil van der Aalst and Eike Best, editors, 24th International Conference on Application and Theory of Petri Nets, Eindhoven, Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 102-120. Springer-Verlag, June 2003.

Lawrence Cabac .
Modeling agent interaction protocols with AUML diagrams and Petri nets.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, December 2003.  [pdf]

Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors, Agent-Oriented Software Engineering III. Third International Workshop, Agent-oriented Software Engineering (AOSE) 2002, Bologna, Italy, July 2002. Revised Papers and Invited Contributions, volume 2585 of Lecture Notes in Computer Science, pages 59-72, Berlin, Heidelberg, New York, 2003. Springer-Verlag.  [pdf]  [link]

2002

Lawrence Cabac .
Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, 2002.

Michael Duvigneau.
Bereitstellung einer Agentenplattform für petrinetzbasierte Agenten.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, December 2002.  [pdf]  [ps]

Tobias Bosch, Oliver Gries, Heiko Kausch, Maxim Klenski, Kolja Lehmann, Michael Morales, Valentin Seegert, and Anatolij Vilner.
Agentenorientierte Implementierung des Spiels ''Die Siedler von Catan''.
Projektbericht, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2002.

2001

Michael Duvigneau.
Referenznetze bei der Erstellung der verteilten Anwendung des Börsenspiels.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2001.

1993

Margret Freund-Breuer and Olaf Fricke.
Spezifikation mit gefärbten Petrinetzen am Beispiel des Börsenspiels.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, September 1993.