are marked or not without further quantification; moreover, also the enabling conditions and
firing rule are based on this principle of set-based token arithmetic. Elementary Net systems
are an example of a class of Boolean nets, and so are the recently introduced set-nets. In
our investigation of the synthesis problem for set-nets, it would be useful to know how this
new net model can be fitted into the general theory of net synthesis based on the generic …