S3.04 - Symbolic Firing Rule

Update: 2015-09-30

Description

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

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

#box-pro-ellipsis-175849456819554{-webkit-line-clamp:2;}S3.04 - Symbolic Firing Rule