Definition of a syntax for Symmetric net withs bag

Please find here the definition of the syntax for symmetric net with bags to be used in our tool.

Some examples

Please find here some tutorial examples.