Projekt : Dynamische Petrinetzstrukturen

Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Dr. Berndt Farwer , ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Michael Köhler-Bußmeier, PD
Dr. Heiko Rölke, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Michael Duvigneau, ehemaliger Wissenschaftlicher Mitarbeiter , Lehrkraft für besondere Aufgaben
Dr. Christine Reese, ehemalige Doktorandin
Dr. Frank Heitmann,

Laufzeit: seit 04/1997

Schlagworte: Systeme, dynamische; Petrinetze; Granularität; Abstraktion; Modellierung; Logik, lineare; Typ-Theorie; Verifikation; Objektorientierung; Agentenorientierung; Strukturdynamik

Ziele: Verschiedene theoretische und praktische Ansätze zur Modellierung von statischen und dynamischen Systemstrukturen wurden auf ihre theoretische und konzeptionelle Angemessenheit hin gegenübergestellt. Erklärtes Ziel ist es, dynamische Strukturen auch durch dynamische Petrinetzstrukturen adäquat zu modellieren.

Insbesondere der Formalismus der Referenznetze und Objektpetrinetze werden auf formaler Ebene untersucht, wobei fundamentale Eigenschaften von gewöhnlichen Petrinetzen auf diese Formalismen übertragen werden konnten. Referenznetze bieten die Möglichkeit, dynamisch ein System von sich gegenseitig referenzierenden Netzen umzustrukturieren. Objektnetze liefern fundamentale Aussagen zu geschachtelten Systemen.

Im Vordergrund standen zustands- und prozessorientierte Konzepte sowie das Konzept der Mobilität. Diese grundlegenden Konzepte wurden verstärkt vor dem Hintergrund der Agentenmodellierung und der Modellierung soziologischer Theorien untersucht. Ein weiterer Bereich war die Untersuchung von Team- und Planungskonzepten für die dynamische Anpassung von Agentenverhalten. Des Weiteren wird der Begriff der Organisation im Hinblick auf spezielle Muster von dynamischen PN-Strukturen diskutiert.

Publikationen:

2014

Frank Heitmann and Michael Köhler-Bußmeier.
Structural and Dynamic Restrictions of Elementary Object Systems.
Fundamenta Informaticae, 135(4): 387-401 (2014)

Michael Köhler-Bußmeier and Frank Heitmann.
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.
In Louchka Popova-Zeugmann, editor, CS&P 2014, volume 1269 of CEUR Workshop Proceedings, pages 101-112. CEUR-WS.org, 2014.
URL: http://ceur-ws.org/Vol-1269/paper-101.pdf

2013

Frank Heitmann.
Algorithms and Hardness Results for Object Nets.
Dissertation (PhD Thesis), Universität Hamburg, 2013.
URL Summary: http://ediss.sub.uni-hamburg.de/volltexte/2013/6364
URL PDF: http://ediss.sub.uni-hamburg.de/volltexte/2013/6364/pdf/Dissertation.pdf

Frank Heitmann and Michael Köhler-Bußmeier.
Structural and Dynamic Restrictions of Elementary Object Systems.
In Marcin S. Szczuka, Ludwik Czaja, and Magdalena Kacprzak, editors, CS&P 2013, volume 1032 of CEUR Workshop Proceedings, pages 181-192. CEUR-WS.org, 2013.
URL: http://ceur-ws.org/Vol-1032/paper-16.pdf

Michael Köhler-Bußmeier and Frank Heitmann.
Complexity Results for Elementary Hornets.
In Jose Manuel Colom and Jörg Desel, editors, PETRI NETS 2013, volume 7927 of Lecture Notes in Computer Science, pages 150-169. Springer-Verlag, 2013.
URL: http://dx.doi.org/10.1007/978-3-642-38697-8_9

2012

Frank Heitmann and Michael Köhler-Bußmeier.
P- and t-systems in the nets-within-nets formalism.
In S. Haddad and L. Pomello, editors, PETRI NETS 2012, volume 7347 of Lecture Notes in Computer Science, pages 368-387. Springer-Verlag, 2012.

Frank Heitmann and Michael Köhler-Bußmeier.
A mobility logic for object net systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM'12), volume 853, pages 19-34. CEUR Workshop Proceedings, 2012.
urn:nbn:de:0074-853-4.

Michael Köhler-Bußmeier and Frank Heitmann.
Conservative elementary object systems.
Fundamenta Informaticae, 120(3-4):325-339, 2012.

2011

Michael Köhler-Bußmeier and Frank Heitmann.
Liveness of safe object nets.
Fundamenta Informaticae, 112(1):73-87, 2011.

Frank Heitmann and Michael Köhler-Bußmeier.
On defining conflict-freedom for object nets.
In B. Muller and M. Köhler-Bußmeier, editors, Proceedings of the International Workshop on Logic, Agents, and Mobility (LAM 2011), 2011.

Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik, 2011.  [link]

Michael Köhler-Bußmeier and Frank Heitmann.
Liveness and reachability for elementary object systems.
In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the Internationa Workshop on Concurrency, Specification, and Programming (CS&P 2011). Biaystok University of Technology, 2011.

2010

Michael Köhler-Bußmeier and Frank Heitmann.
Complexity of LTL model-checking for safe object nets.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.

Michael Köhler-Bußmeier and Frank Heitmann.
Safeness for object nets.
Fundamenta Informaticae, 101(1-2):29-43, 2010.  [link]

Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik, 2011.  [link]

Michael Köhler-Bußmeier.
A survey of decidability results for elementary object systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.

2009

Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
Fundamenta Informaticae, 93(1-3):205-219, 2009.

Michael Köhler-Bußmeier and Frank Heitmann.
On defining safeness for object nets.
In L. Czaja and M. Szczuka, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming, CS&P'2009 (Volume 1), pages 265-276. Warsaw University, 2009.  [link]

2008

Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
In G. Lindemann, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicki, H. Schlingloff, A. Skowron, and Z. Suraj, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming CS&P 2008 (Volume 2), pages 253-264. Humboldt-Universität zu Berlin, Informatik-Berichte 225, 2008.  [link]

2007

Michael Köhler and Berndt Farwer.
Object nets for mobility.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.

Michael Köhler and Heiko Rölke.
Web service orchestration with super-dual object nets.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 263-280. Springer-Verlag, 2007.

Michael Köhler.
Reachable markings of object Petri nets.
Fundamenta Informaticae, 79(3-4):401 - 413, 2007.

Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
Electronic Notes in Theoretical Computer Science, 175:119-134, June 2007.  [link]

2006

Michael Köhler, Daniel Moldt, and Jan Ortmann.
Dynamic service composition: A Petri-net based approach.
In Y. Manolopoulos, J. Filipe, P. Constantopoulos, and J. Cordeiro, editors, Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006) - Software Agents and Internet Computing, pages 159-165, 2006.

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
Fundamenta Informaticae, 72(1-3):109-122, 2006.

Michael Köhler and Heiko Rölke.
Properties of super-dual nets.
Fundamenta Informaticae, 72(1-3):245-254, 2006.

2005

Michael Köhler and Berndt Farwer.
Petri net processes for zero-safe nets.
Fundamenta Informaticae, 67:1-11, 2005.

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005). University of Warsaw, 2005.

Berndt Farwer and M. Varea.
Object-based control/data-flow analysis.
Technical Report DSSE-TR-2005-1, ECS, University of Southampton, 2005.  [link]

Berndt Farwer and M. Varea.
Transforming dual flow nets into object petri nets.
In Proceedings of Concurrency, Specification, and Programming CS&P'2005, volume 1, pages 112-125. University of Warsaw, 2005.

Berndt Farwer and Simon Kohl.
Object systems with process markings.
In Farwer and Moldt (Hrsg.), Object Petri Nets, Processes, and Object Calculi, pages 1-11.

Michael Köhler and Heiko Rölke.
Reference and value semantics are equivalent for ordinary object Petri nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, volume 3536 of Lecture Notes in Computer Science, pages 309-328. Springer-Verlag, June 2005.  [link]

Michael Köhler and Heiko Rölke.
Super-dual nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005), 2005.

Michael Köhler.
Objektnetze: Definition und Eigenschaften.
In D. Wagner, editor, Ausgezeichnete Informatikdissertationen 2004, volume D-5 of Lecture Notes in Informatics, pages 75-85, 2005.

Michael Köhler.
Objektnetze: Definition und Eigenschaften.
In Farwer and Moldt (Hrsg.), Object Petri Nets, Processes, and Object Calculi, pages 35-42.

2004

Unai Arronategui and Daniel Moldt.
A proposal for multi-agent system based modeling and validation of self-organization.
In Session: Agent-Based and Holonic Manufacturing Systems, 2nd IEEE International Conference on Industrial Informatics Fraunhofer IPK, Berlin, INDIN'04, 2004, 2004.

Lawrence Cabac and Michael Köhler.
Relating higher order reference nets and well-formed nets.
In Proceedings of the International Workshop on Coloured Petri Nets (CPN 2004). Computer Science Department, Aarhus University, 2004.

Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
Fundamenta Informaticae, 60(1-4):113-129, 2004.

Michael Köhler.
Objektnetze: Definition und Eigenschaften, volume 1 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004.  [link]

Michael Köhler and Heiko Rölke.
Properties of Object Petri Nets.
In J. Cortadella and W. Reisig, editors, International Conference on Application and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science, pages 278-297. Springer-Verlag, 2004.  [link]

Gabriela Lindemann, Daniel Moldt, and Mario Paolucci, editors.
Regulated Agent-Based Social Systems. First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers, volume 2934 of Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 2004. Springer-Verlag.

2003

Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
In L. Czaja, editor, Concurrency, Specification, and Programming CS&P'2003 (Volume 1), pages 134-149. Warsaw University, 2003.

Michael Köhler.
Mobile object net systems.
In 8. Workshop Algorithmen und Werkzeuge für Petrinetze. Universität Eichstätt, 2003.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Wil van der Aalst and Eike Best, editors, Proceedings of the 24th International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 121-139. Springer-Verlag, 2003.  [link]

Michael Köhler and Heiko Rölke.
Concurrency for mobile object net systems.
Fundamenta Informaticae, 54(2-3), 2003.

Michael Köhler.
Object Petri nets: Definitions, properties and related models.
Technical Report 329, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003.

Michael Köhler.
Decidability problems for object Petri nets.
In Gesellschaft für Informatik, editor, Informatiktage 2003. Fachwissenschaftlicher Informatik-Kongreß. Konradin Verlag, 2003.

2002

Berndt Farwer.
Dynamic modification of object Petri nets. an application to modelling protocols with fork-join structures.
Fundamenta Informaticae, 51(1,2):91-101, 2002.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Liveness preserving composition of behaviour protocols for Petri net agents.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-316/02, Universität Hamburg, Fachbereich Informatik, June 2002.

Michael Köhler and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Moldt (Hrsg.), Proceedings of the Second Workshop on Modelling of Objects, Components, and Agents (MOCA'02), pages 141-157.
DAIMI PB: Aarhus, Denmark, August 26-27, number 561.

Michael Köhler and Heiko Rölke.
Mobile object net systems: Concurrency and mobility.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002.

Gabriela Lindemann, Daniel Moldt, Mario Paolucci, and Bin Yu, editors.
Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02) as part of AAMAS 2002, number FBI-HH-M-318/02 in Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten, Vogt-Kölln Str. 30, D-22527 Hamburg, 2002.

2001

Michael Köhler and Heiko Rölke.
A/C Petri nets - assumption based modelling and reasoning.
In Gabriel Juhas and Robert Lorenz, editors, Proceedings des 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 43-48. Universität Eichstätt, 2001.

2000

Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
In ROOM 2000, ROOM-Third Workshop on Rigorous Object-Oriented Methods, England, 2000. Department of Computer Science, University of York, UK.

Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Modelling intra- and inter-object control using reference nets.
In Jürgen Ebert and Ulrich Frank, editors, Modellierung 2000 St. Goar, 5.-7. April, volume 15 of Koblenzer Schriften zur Informatik, pages 89-102, Koblenz, 2000. Dietmar Fölbach.

Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
Journal for electronic Workshops in Computing: ROOM-Third Workshop on Rigorous Object-Oriented Methods, July 2000.  [link]

Daniel Moldt and Rüdiger Valk.
Object-oriented Petri nets in business process modeling.
In Wil van der Aalst, Jörg Desel, and Andreas Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, number 1806 in Lecture Notes in Computer Science, pages 254-273, Berlin, Heidelberg, New York, 2000. Springer-Verlag.