Since Symmetric Nets with Bags allow for manipulating bags of values, they make use of new functions on colours and on bags in their firing rule. These functions are explained and examplified.

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.