Part I. Tutorial: Make Marked Graph models executable with the GEMOC Studio