direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Petri Net Transformations
Zitatschlüssel EHP+08
Autor Ehrig, H. and Hoffmann, K. and Padberg, J. and Ermel, C. and Prange, U. and Biermann, E. and Modica, T.
Buchtitel Petri Net Theory and Applications
Seiten 1–16
Jahr 2008
ISBN 978-3-902613-12-7
Verlag I-Tech Education and Publication
Zusammenfassung Modelling the adaption of a system to a changing environment gets more and more important. Application areas cover e.g. computer supported cooperative work, multi agent systems, dynamic process mining or mobile networks. One approach to combine formal modelling of dynamic systems and controlled model adaption are Petri net transformations. The main idea behind net transformation is the stepwise development of place/transition nets by given rules. Think of these rules as replacement systems where the left-hand side is replaced by the right-hand side while preserving a context. This approach increases the expressiveness of Petri nets and allows in addition to the well known token game a formal description of structural changes.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe