Introduction
The tutorial has been filmed. You will find enclosed access to videos of this session by chapter, together with the associated slides.
Opening
The slides.
Global vs Local Symmetries
The slides.
Symmetries to Reduce the Reachability Graph of SN
The slides.
Dynamic Subclasses and Symbolic Markings
The slides.
Symbolic Firing Rule
The slides.
The Symbolic Reachability Graph
The slides.
Static Subclasses
The slides.
SN and Partial Symmetries
The slides.
Symmetric Nets with Bags
The slides.
Functions Used in SBN and Firing Rule
The slides.
Second Example of SNB
The slides.
