direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Petri Net Transformations in the Petri Net Baukasten
Zitatschlüssel BEU02
Autor Braatz, B. and Ehrig, H. and Urbasek, M.
Seiten 37–65
Jahr 2003
Zusammenfassung The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the ``Petri Net Baukasten'' developed by the ``DFG-Forschergruppe Petrinetz-Technologie''. The two main concepts of Petri net transformations considered in this context are net class and net model transformations. Net class transformations are transformations between different Petri net classes, like elementary nets, place/transition nets and algebraic high-level nets. Net model transformations on the other hand are transformations of the net structure for nets within one Petri net class, like place or transition refinement. The main technical results are concerning the preservation of safety resp. liveness properties of net model transformations and compatibility results between net class and net model transformations.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe