direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Generation of Animation Views for Petri Nets in \textscGenGED
Zitatschlüssel EBE02
Autor Ermel, C. and Bardohl, R. and Ehrig, H.
Buchtitel Advances in Petri Nets: Petri Net Technology for Communication Based Systems
Jahr 2003
Zusammenfassung Formal specification techniques like Petri nets allow the formal description and analysis of systems. In this paper, we develop a formal approach for the generic specification of animation views for different Petri net classes based on GenGED and graph transformation. The GenGED approach, developed at the TU Berlin, allows the generic description of visual modeling languages such as different Petri net classes. In our framework, the animation view of a system modeled as a Petri net consists of a domain-specific layout and an animation according to the firing behavior of the Petri net class. The basic idea is to generate visual animation rules based on visual syntax rules defining the corresponding Petri net language. We propose a view transformation from the classical Petri net layout to the animation layout.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe