Mobile Object Net Systems: Petri Nets as Active Tokens
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/126/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 320 |
| Sprache: | Englisch |
| Erstellungsjahr: | 2002 |
| Publikationsdatum: | 18.12.2009 |
| SWD-Schlagwörter: | Theoretische Informatik |
| Freie Schlagwörter (Deutsch): | Petrinetze, mobile object net systems |
| Freie Schlagwörter (Englisch): | Petri nets, mobile object net systems |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.10 , 54.00 |
Kurzfassung auf Englisch:
In this work we present the model of "mobile object net systems" - an algebraic formalisation of the "nets within nets"-paradigm, which is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of "nets within nets" covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile computing. As a main result of this contribution, we derive an algebraic model for "nets within nets" in the "Petri nets are monoids" style.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.