Models can be made easier to describe by enhancing parametrisation and reducing interleaving. To do so, Symmetric Nets with Bags are introduced, that allow for manipulating bags of values instead of individual values.
See All 38 Episodes of "From Symmetric Nets to Symmetric Nets with Bags"