Chapter 1. What is expected at the end of this tutorial

This tutorial aims at demonstrating the power of the GEMOC studio to define an executable semantics and provide graphical animation for a DSML. It relies of the marked graph language.

The following animation shows the expecting results of this tutorial: according to the fired transitions, tokens move from place to place.

Expected animation for Marked Graph models

Figure 1.1. Expected animation for Marked Graph models