Bibliographie

Objektnetze: Definition und Eigenschaften

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

Abrégé: 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 Aktivität. Für Objektnetze werden diese Objekte wiederum durch Petrinetze beschrieben, so dass sich "`Netze in Netzen"' befinden. Die rekursive Verschachtelung von Petrinetzen ist prinzipiell unbeschränkt.
Die Möglichkeit, Netze als Marken einzusetzen, stellt eine bemerkenswerte Erweiterung mit weitreichenden Konsequenzen dar, da das Konzept des "`Petrinetzes"' nicht mehr länger als Objekt der Theorie behandelt wird, also auf der Meta-Ebene, sondern Gegenstand des Formalismus selbst geworden ist. Die Petrinetztheorie ist somit reflexiv geworden, d.h. sie kann sich selbst zum Gegenstand der Betrachtung machen.
Die Idee, Netze als Marken zu betrachten, wurde zuerst von Rüdiger Valk im Kontext der Auftragsverkehrsnetze formalisiert, in denen Kausalnetze als Marken den Abarbeitungszustand eines Auftrages modellieren. Dieser Ansatz wurde von ihm zum Formalismus der elementaren Objektsysteme erweitert, der ein exakt zwei-stufiges System beschreibt. Diese Einschränkung wird in dieser Arbeit zugunsten einer unbeschränkten Verschachtelung fallengelassen.
Für die Interpretation der Netzmarken existieren zwei zentrale Sichtweisen. In Anlehnung an die programmiersprachlichen Konzepte "`call by reference"' und "`call by value"' werden Netzmarken entweder als Referenzen oder als Werte gedeutet. Ersteres wird als Referenz-, letzteres als Wertsemantik bezeichnet. Beide Semantiken unterscheiden sich in der Konzeptionierung von Namensräumen.
Um Objektnetze in den formalen Kontext der allgemeinen Petrinetztheorie einzuordnen, wird untersucht, welche Ausdrucksmächtigkeit der Formalismus besitzt. Es ist zu klären, inwieweit sich die strukturellen Eigenschaften, die Petrinetze algebraisch als Monoid charakterisieren, auf Objektnetze übertragen. Weiterhin sind Entscheidbarkeitsfragen (wie beispielsweise das Erreichbarkeits- oder das Beschränktheitsproblem) zu analysieren - und dies sowohl für die Referenz- als auch für die Wertsemantik.
Neben dem Bezug zur allgemeinen Petrinetztheorie ist noch das Verhältnis der beiden Semantiken zueinander zu klären. Hierfür sind diejenigen Schaltfolgen zu charakterisieren, die sich von beiden Semantiken - im Sinne einer wechselseitigen Simulation - ausführen lassen.
Eingebettet ist diese Arbeit in den Kontext der Spezifikation von Multiagentensystemen. Die formalen Ergebnisse bilden das Fundament für die Theorie mobiler Agenten, denn Objektnetze formalisieren die Konzepte der Nebenläufigkeit, der Verteilung und der Lokalität in elementarer Form, so dass die Eigenschaften der Objektnetze einen Einblick in die Struktur mobiler Systeme erlauben.

BibTeX enregistrement

@Book{Koehler04b,
	title =     {{Objektnetze: Definition und Eigenschaften}},
	publisher = {Logos Verlag},
	year =      {2004},
	author =    {K{\"o}hler, Michael},
	editor =    {Moldt, Daniel},
	volume =    {1},
	series =    {Agent Technology -- Theory and Applications},
	address =   {Berlin},
	pages =     {254},
	abstract =  {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
	Aktivit{\"a}t.  F{\"u}r Objektnetze werden diese Objekte wiederum durch Petrinetze
	beschrieben, so dass sich "`Netze in Netzen"' befinden.  Die rekursive
	Verschachtelung von Petrinetzen ist prinzipiell unbeschr{\"a}nkt.
	\par
	Die M{\"o}glichkeit, Netze als Marken einzusetzen, stellt eine bemerkenswerte
	Erweiterung mit weitreichenden Konsequenzen dar, da das Konzept des
	"`Petrinetzes"' nicht mehr l{\"a}nger als Objekt der Theorie behandelt
	wird, also auf der Meta-Ebene, sondern Gegenstand des Formalismus selbst
	geworden ist.  Die Petrinetztheorie ist somit reflexiv geworden, d.h. sie
	kann sich selbst zum Gegenstand der Betrachtung machen.
	\par
	Die Idee, Netze als Marken zu betrachten, wurde zuerst von R{\"u}diger Valk im
	Kontext der Auftragsverkehrsnetze formalisiert, in denen Kausalnetze
	als Marken den Abarbeitungszustand eines Auftrages modellieren.  Dieser
	Ansatz wurde von ihm zum Formalismus der elementaren Objektsysteme
	erweitert, der ein exakt zwei-stufiges System beschreibt.  Diese
	Einschr{\"a}nkung wird in dieser Arbeit zugunsten einer unbeschr{\"a}nkten
	Verschachtelung fallengelassen.
	\par
	F{\"u}r die Interpretation der Netzmarken existieren zwei zentrale Sichtweisen.
	In Anlehnung an die programmiersprachlichen Konzepte "`call by reference"'
	und "`call by value"' werden Netzmarken entweder als Referenzen oder als
	Werte gedeutet. Ersteres wird als Referenz-, letzteres als
	Wertsemantik bezeichnet.  Beide Semantiken unterscheiden sich in der
	Konzeptionierung von Namensr{\"a}umen.
	\par
	Um Objektnetze in den formalen Kontext der allgemeinen Petrinetztheorie
	einzuordnen, wird untersucht, welche Ausdrucksm{\"a}chtigkeit der Formalismus
	besitzt.  Es ist zu kl{\"a}ren, inwieweit sich die strukturellen Eigenschaften,
	die Petrinetze algebraisch als Monoid charakterisieren, auf Objektnetze
	{\"u}bertragen.  Weiterhin sind Entscheidbarkeitsfragen (wie beispielsweise das
	Erreichbarkeits- oder das Beschr{\"a}nktheitsproblem) zu analysieren - und
	dies sowohl f{\"u}r die Referenz- als auch f{\"u}r die Wertsemantik.
	\par
	Neben dem Bezug zur allgemeinen Petrinetztheorie ist noch das Verh{\"a}ltnis
	der beiden Semantiken zueinander zu kl{\"a}ren. Hierf{\"u}r sind diejenigen
	Schaltfolgen zu charakterisieren, die sich von beiden Semantiken - im
	Sinne einer wechselseitigen Simulation - ausf{\"u}hren lassen.
	\par
	Eingebettet ist diese Arbeit in den Kontext der Spezifikation von
	Multiagentensystemen.  Die formalen Ergebnisse bilden das Fundament f{\"u}r die
	Theorie mobiler Agenten, denn Objektnetze formalisieren die Konzepte der
	Nebenl{\"a}ufigkeit, der Verteilung und der Lokalit{\"a}t in
	elementarer Form, so dass die Eigenschaften der Objektnetze einen Einblick
	in die Struktur mobiler Systeme erlauben.},
	isbn =      {978-3-8325-0695-7},
	url =       {http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=0695&lng=eng&id=}
}

Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.