S1.01 - Introduction to Symmetric Nets

Published: Sept. 30, 2015, 10 a.m.

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.