Michael Köhler.
Objektnetze: Definition und Eigenschaften, volume 1 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004.
[link]
Kurzfassung: 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.[link]
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.
@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=} }
Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.