S3.08 - Symmetric Nets with Bags

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

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.