This sequence starts with a general overview of the tutorial. Then, the characteristics of different kinds of Petri
nets, from Place/Transition nets to Coloured nets, are put into light and motivate the focus of this tutorial on
Symmetric nets. These are then informally introduced.