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

Update: 2015-09-30

Description

Since Symmetric Nets with Bags allow for manipulating bags of values, they make use of new functions on colours and on
bags in their firing rule. These functions are explained and examplified.

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.09 Functions Used in Symmetric Nets with Bags and Firing Rules

#box-pro-ellipsis-175849336954885{-webkit-line-clamp:2;}S3.09 Functions Used in Symmetric Nets with Bags and Firing Rules

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

Fabrice Kordon

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