stochastic simulation

VIATRA2/GraTS

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.

Attachment: 

Incremental Pattern Matching for the Efficient Computation of Transitive Closure

Introduction

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.

Attachment: 
Syndicate content