This is the website for VIATRA2/GRaTS, a stochastic graph transformation system simulator built in co-operation between the VIATRA2 Group and Prof. Reiko Heckel's group at the University of Leicester.
Pattern matching plays a central role in graph transformations as a key technology for computing local contexts in which transformation rules are to be applied.
