Object Petri Nets: Definitions, Properties, and Related Models
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/128/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 329 |
| Sprache: | Englisch |
| Erstellungsjahr: | 2003 |
| Publikationsdatum: | 21.12.2009 |
| SWD-Schlagwörter: | Theoretische Informatik |
| Freie Schlagwörter (Deutsch): | Petrinetze |
| Freie Schlagwörter (Englisch): | Petri nets |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.10 , 54.00 |
Kurzfassung auf Englisch:
In this presentation the decidability issues of formalisms that allow Petri nets as tokens are studied. Especially for "elementary object-net systems" defined by Valk the decidability of the reachability and the boundedness problem is considered. It is shown that reachability becomes undecidable while boundedness remains decidable for elementary object-net systems. Furthermore it is shown that even for minimal extensions the formalism obtains the power of Turing machines.
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.