Object Petri Nets: Definitions, Properties, and Related Models
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/128/ |
|---|---|
| Document type: | TechReport |
| Series: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Volume Number: | 329 |
| Language: | English |
| Year of creation: | 2003 |
| Date of publication: | 21.12.2009 |
| Keywords from authority file SWD (German): | Theoretische Informatik |
| Free keywords (German): | Petrinetze |
| Free keywords (English): | Petri nets |
| Dewey Decimal Classification: | Computer science |
| BK - classification: | 54.10 , 54.00 |
Abstract in English:
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.