Michael Köhler

Objektnetze Michael Köhler

Petrinetze sind ein etablierter Formalismus zur Beschreibung verteilter Systeme. Gegenstand dieser Arbeit sind die theoretischen Eigenschaften des Formalismus der Objekt-Petrinetze, kurz: der Objektnetze. Dieser Formalismus erweitert die Petrinetztheorie insofern, als dass nicht nur Werte als Marken zugelassen sind, sondern sogar Objekte mit innerer Aktivitat. Fur Objektnetze werden diese Objekte wiederum durch Petrinetze beschrieben, so dass sich "Netze in Netzen" befinden. Die rekursive Verschachtelung von Petrinetzen ist prinzipiell unbeschrankt. Eingebettet ist diese Arbeit in den Kontext der Spezifikation von Multiagentensystemen. Die formalen Ergebnisse bilden das Fundament fur die Theorie mobiler Agenten, denn Objektnetze formalisieren die Konzepte der Nebenlaufigkeit, der Verteilung und der Lokalitat in elementarer Form, so dass die Eigenschaften der Objektnetze einen Einblick in die Struktur mobiler Systeme erlauben.