S3.08 - Symmetric Nets with Bags

Update: 2015-09-30

Description

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.

Comments

In Channel

S1.01 - Introduction to Symmetric Nets

2015-09-3002:21

S1.02 - Syntax and Semantics of Symmetric Nets

2015-09-3002:21

S1.03 - Modelling with Symmetric Nets

2015-09-3002:21

S1.04 - The ReachabilityGraph for Symmetric Nets Analysis

2015-09-3002:21

S1.05 - LTL Properties

2015-09-3002:21

S1.06 - CTL Properties

2015-09-3002:21

S2.01 - Introduction to CosyVerif

2015-09-3002:21

S3.01- Symmetries in Symmetric Nets

2015-09-3002:21

S3.02 - Symmetries to Reduce the Reachability Graph

2015-09-3002:21

S3.03 - Dynamic Subclasses and Symbolic Markings

2015-09-3002:21

S3.04 - Symbolic Firing Rule

2015-09-3002:21

S3.05 - Synmobil Reachability Graph

2015-09-3002:21

S3.06 - Static Subclasses

2015-09-3002:21

S3.07 - Symmetric Nets and Local Symmetries

2015-09-3002:21

S3.08 - Symmetric Nets with Bags

2015-09-3002:21

S3.09 Functions Used in Symmetric Nets with Bags and Firing Rules

2015-09-3002:21

S3.10 - Second Example of Symmetric Net with Bags

2015-09-3002:21

00:00

1.0x

S3.08 - Symmetric Nets with Bags

#box-pro-ellipsis-175849364318460{-webkit-line-clamp:2;}S3.08 - Symmetric Nets with Bags

S3.08 - Symmetric Nets with Bags

Fabrice Kordon

S3.08 - Symmetric Nets with Bags