CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Nov 21, 2017
Petri Net Tutorial, session 3
Petri net 2014 tutorial
Slides & Videos
Download The Tool
Required
VirtualBox must be installed
CosyVerif (for practice)
Practice
Exercice 1 (session 2)
Exercice 2 (session 4)

Introduction

The tutorial has been filmed. You will find enclosed access to videos of this session by chapter, together with the associated slides.

Opening

The slides.

Global vs Local Symmetries

The slides.

Symmetries to Reduce the Reachability Graph of SN

The slides.

Dynamic Subclasses and Symbolic Markings

The slides.

Symbolic Firing Rule

TheThe slides.

The Symbolic Reachability Graph

The slides.

Static Subclasses

The slides.

SN and Partial Symmetries

The slides.

Symmetric Nets with Bags

The slides.

Functions Used in SBN and Firing Rule

The slides.

Second Example of SNB

The slides.