Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/39/ |
|---|---|
| Document type: | TechReport |
| Series: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Volume Number: | 211 |
| Language: | English |
| Year of creation: | 1998 |
| Date of publication: | 25.08.2009 |
| Keywords from authority file SWD (German): | Petri-Netz , Lineare Logik |
| Free keywords (German): | Nebenläufigkeit , Petrinetze , Objektsysteme |
| Free keywords (English): | Linear Logic, Petri nets , object systems , concurrency |
| Dewey Decimal Classification: | Computer science |
| BK - classification: | 54.10 |
Abstract in English:
Linear Logic has been shown to incorporate a fragment suitable for representing P/T-nets and giving an interleaving semantics to the computations of such nets. This result is generalized to coloured nets. Furthermore a new kind of high-level nets is defined: Linear Logic Petri nets (LLPN). These nets are used as an intuitive semantics to well-known and new high-level net concepts like object systems and agent orientation.
Abstract in English:
Die Lineare Logik [Gir87] enthält ein Fragment, das sehr gut zur Dastellung von S/T-netzen geeignet ist. In [Bro89], [MOM89] und [EW90] wird gezeigt. dass dieses Fragment der Linearen Logik Petrinetzen eine (interleaving) Semantik gibt. diese Resultät werden auf gefärbte Petrinetze erweitert. Ausserdem wird eine neue Klasse von Hig-Level-netzen eingeführt: Linear Logiv Petri nets (LLPN). LLPNs bieten die Möglichkeit, höheren Netzkonepten als intuitive Semantik zu dienen. In diesem Zusammenhang werden insbesondere Objektsysteme ([Val96b]) und Agentenorientierung betrachtet. Diese Arbeit stellt eine Dortsetzung der Arbeiten [Far96] und [Far98] dar
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.