This page contains obsolete information about the VPM based VIATRA2 and preserved for archive purposes only.
The currently maintained wiki is available at http://wiki.eclipse.org/VIATRA
The following benchmark cases demonstrate the performance of the VIATRA2 framework. Additionally, the first one has been elaborated in great detail to aid the learning and understanding of VIATRA2.
Mutual exclusion (A Varró benchmark)
The mutual exclusion benchmark
Petri-net model simulation benchmark
The Petri-net simulation bechmark
Object-relational mapping benchmark (field: model synchronisation)
Object-relational mapping benchmark