From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD) episodes:

• September 30, 2015S3.04 - Symbolic Firing Rule

  In order to express the behaviour of the system between symbolic markings, a similar approach is necessary, thus

  defining a symbolic firing rule.

  ...more

  

  ---

• September 30, 2015S3.04 - Symbolic Firing Rule (pdf)

  In order to express the behaviour of the system between symbolic markings, a similar approach is necessary, thus

  defining a symbolic firing rule.

  ...more

  

  ---

• September 30, 2015S3.05 - Synmobil Reachability Graph

  The previous sequences have set all the basis necessary for the construction of the Symbolic Reachability Graph. It

  takes advantage of the symmetry between markings, and between firings, so as to study the behaviour at a symbolic level.

  ...more

  

  ---

• September 30, 2015S3.05 - Synmobil Reachability Graph (pdf)

  The previous sequences have set all the basis necessary for the construction of the Symbolic Reachability Graph. It

  takes advantage of the symmetry between markings, and between firings, so as to study the behaviour at a symbolic level.

  ...more

  

  ---

• September 30, 2015S3.06 - Static Subclasses

  This approach of Symbolic Reachability Graph is further improved in this sequence by defining static subclasses, where

  all elements within a same subclass have the same behaviour.

  ...more

  

  ---

• September 30, 2015S3.06 - Static Subclasses (pdf)

  This approach of Symbolic Reachability Graph is further improved in this sequence by defining static subclasses, where

  all elements within a same subclass have the same behaviour.

  ...more

  

  ---

• September 30, 2015S3.07 - Symmetric Nets and Local Symmetries

  When these elements are so distinct that they show only individual behaviour, partial symmetries, as presented in this

  sequence, must be used to reduce the Symbolic Reachability Graph. These notions are roughly defined in this section.

  ...more

  

  ---

• September 30, 2015S3.07 - Symmetric Nets and Local Symmetries (pdf)

  When these elements are so distinct that they show only individual behaviour, partial symmetries, as presented in this

  sequence, must be used to reduce the Symbolic Reachability Graph. These notions are roughly defined in this section.

  ...more

  

  ---

• September 30, 2015S3.08 - Symmetric Nets with Bags

  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.

  ...more

  

  ---

• September 30, 2015S3.08 - Symmetric Nets with Bags (pdf)

  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.

  ...more

  

  ---