Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-21685
URL: http://opus.kobv.de/tuberlin/volltexte/2009/2168/

Biermann, Enrico ; Ermel, Claudia ; Modica, Tony ; Sylopp, Peggy

Implementing Petri Net Transformations using Graph Transformation Tools

pdf-Format:
Dokument 1.pdf (564 KB)
Print-on-Demand:

Kurzfassung auf Deutsch

Petri net transformations have been defined formally in the abstract framework of adhesive HLR categories, which allows rule-based rewriting of graphlike structures, similar to graph transformation. In this paper we discuss differences between Petri net rewriting and graph rewriting which makes it necessary to add checks and conditions when implementing Petri net transformations using an existing graph transformation tool like AGG. The extensions concern the preservation of Petri net transition firing behavior and the mapping of markings. As a running example, we present the RON environment, a visual editor, simulator and net transformation tool for reconfigurable Petri nets which has been developed as a plug-in for ECLIPSE based on the graph transformation engine AGG.

Freie Schlagwörter (Deutsch): Petri-Netze , Netz-Transformation , Graph-Transformation , Visual Editor , rekonfigurierbare Petri-Netze
Freie Schlagwörter (Englisch): Petri nets , net transformation , graph transformation , visual editor , reconfigurable Petri nets , Petri net tool
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 14 (2008): Petri Nets and Graph Transformations 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 14/01
ISBN/ISSN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/viewFile/189/180
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 20.02.2009
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja