S3.08 - Symmetric Nets with Bags (pdf)

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.