Project : Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze

Prof. Dr. Valk, professor
Dr. Daniel Moldt, research assistant
Dr. Berndt Farwer , former research assistant
Dr. Michael Köhler-Bußmeier, PD
Dr. Heiko Rölke, former research assistant
J. Ezpeleta (Univ. Saragossa)

Duration: since 2001

Keywords: Agenten; Agentenorientierung; Komponente; flexible Fertigungssysteme; Petrinetze; strukturelle Analyse

Objectives: Das Hauptziel dieses Projekts besteht darin, einen integrierten Ansatz zur Entwicklung und Analyse von flexiblen Fertigungssystemen (FMS) zu schaffen. Die neue Technik schließt einen mathematischen Formalismus und eine grafische Darstellung ein. FMS werden durch die Konzepte der Objekte, der Komponenten und der Agenten strukturiert, wobei Petrinetze als Marken innerhalb von Petrinetzen als die geeignete Technik zur Modellierung eingesetzt werden. Dadurch verfügt man über eine flexible Modellierungstechnik mit der Möglichkeit, mehrere Methoden der Analyse auf verschiedenen Abstraktionsebenen anzuwenden. Als Fortsetzung des durch den DAAD geförderten Projektes "SACA" wurde weiter an der Analyse von komponenten- und agentenorientierten Petrinetzen gearbeitet.

Publications:

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.

Michael Köhler, Heiko Rölke, and Rüdiger Valk.
Structural analysis of mobile agents using invariants of object nets.
In Moldt (eds.), Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04).
DAIMI PB: Aarhus, Denmark, October 11-13, number 571.

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

Berndt Farwer and Michael Köhler.
Net processes for zero-safe nets.
In G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suraj, editors, Concurrency, Specification, and Programming CS&P 2004, volume 1, Informatik-Bericht Nr. 170, pages 40-51. Humboldt Universität, Berlin, 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]

2003

Joaquín Ezpeleta and Rüdiger Valk.
A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets.
Technical Report FBI-HH-B-250, University of Hamburg, Department for Computer Science Report/03, 2003.
also: accepted paper for in the multiconference on Computational Engineering in Systems Applications (CESA) (Lille, France, July 9-11, 2003.

(TODO: Valk/Ezpeleta: deadlock avoidance ())

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.

Berndt Farwer, Daniel Moldt, and F. García-Vallés.
An approach to modelling FMS with dynamic object Petri nets.
In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1-6, Hammamet, Tunisia, October 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.