S3.02 - Symmetries to Reduce the Reachability Graph

Update: 2015-09-30

Description

In this sequence, symmetries of both markings and firings are formally defined. Symmetries are a powerful tool to
reduce the size of the reachability graph, thus making it amenable.

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

S3.02 - Symmetries to Reduce the Reachability Graph

#box-pro-ellipsis-175848595520526{-webkit-line-clamp:2;}S3.02 - Symmetries to Reduce the Reachability Graph

S3.02 - Symmetries to Reduce the Reachability Graph

Fabrice Kordon

S3.02 - Symmetries to Reduce the Reachability Graph