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.