Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior


Electronic Communications of the EASST
Volume 58 (2013)

Proceedings of the
12th International Workshop on Graph Transformation

and Visual Modeling Techniques
(GTVMT 2013)

Invited Talk: Extensions of Graph Transformation Systems for Timed,
Continuous, and Probabilistic Behavior

Holger Giese

1 pages

Guest Editors: Matthias Tichy, Leila Ribeiro
Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122

http://www.easst.org/eceasst/


ECEASST

Invited Talk: Extensions of Graph Transformation Systems for
Timed, Continuous, and Probabilistic Behavior

Holger Giese1

1 holger.giese@hpi.uni-potsdam.de
System Analysis and Modeling Group, Hasso-Plattner-Institut, Potsdam, Germany

Abstract: Graph transformation systems can be employed to describe systems with
complex structural dynamics which states can be captured by attributed graphs.
However, like many other standard computer science models such as automata in
their basic form time, continuous behavior, or probabilistic behavior are not sup-
ported. In this talk we will report on a number of extensions for graph transforma-
tion systems that have been developed that permit to describe also time, continuous
behavior, probabilistic behavior, timed probabilistic behavior. Referring to the de-
velopment of related extensions for automata, we will discuss how these results
have been transferred to graph transformation systems. We will discuss furthermore
which specific problems had to be resolved to transfer the results to graph trans-
formation systems, which tool support exists, and what are the open challenges for
each of these directions

1 / 1 Volume 58 (2013)

mailto:holger.giese@hpi.uni-potsdam.de