Nowadays, systems tend to be more and more distributed. Distribution brings a huge complexity and a strong need to

deduce possible (good and bad) behaviours on the global system, from the known ... more

Share to email

Share to Facebook

Share to X

By Fabrice Kordon

Nowadays, systems tend to be more and more distributed. Distribution brings a huge complexity and a strong need to

deduce possible (good and bad) behaviours on the global system, from the known ... more

The podcast currently has 34 episodes available.

September 30, 2015S1.01 - Introduction to Symmetric Nets This sequence starts with a general overview of the tutorial. Then, the characteristics of different kinds of Petrinets, from Place/Transition nets to Coloured nets, are put into light and motivate the focus of this tutorial onSymmetric nets. These are then informally introduced....more September 30, 2015S1.01 - Introduction to Symmetric Nets (pdf) This sequence starts with a general overview of the tutorial. Then, the characteristics of different kinds of Petrinets, from Place/Transition nets to Coloured nets, are put into light and motivate the focus of this tutorial onSymmetric nets. These are then informally introduced....more September 30, 2015S1.02 - Syntax and Semantics of Symmetric Nets This sequence presents the syntax and semantics of Symmetric nets, so that a rigorous presentation of theirfiring rule can be given, together with an example. The specific basic colour functions that are used in Symmetric netsare also detailed....more September 30, 2015S1.02 - Syntax and Semantics of Symmetric Nets (pdf) This sequence presents the syntax and semantics of Symmetric nets, so that a rigorous presentation of theirfiring rule can be given, together with an example. The specific basic colour functions that are used in Symmetric netsare also detailed....more September 30, 2015S1.03 - Modelling with Symmetric Nets This sequence presents a complete small example, where a simple train system with conditions to avoid trains collisionsis modelled step-by-step. It thus shows the modelling approach process when using Symmetric nets....more September 30, 2015S1.03 - Modelling with Symmetric Nets (pdf) This sequence presents a complete small example, where a simple train system with conditions to avoid trains collisionsis modelled step-by-step. It thus shows the modelling approach process when using Symmetric nets....more September 30, 2015S1.04 - The ReachabilityGraph for Symmetric Nets Analysis After having modelled a system using Petri nets, the objective is to verify it satisfies some interesting properties.To do so, the construction of the reachability graph is introduced, which exhaustively explores all possible states ofthe system....more September 30, 2015S1.04 - The ReachabilityGraph for Symmetric Nets Analysis (pdf) After having modelled a system using Petri nets, the objective is to verify it satisfies some interesting properties.To do so, the construction of the reachability graph is introduced, which exhaustively explores all possible states ofthe system....more September 30, 2015S1.05 - LTL Properties Properties to be satisfied by the system must be expressed in a formal language. A first approach is introduced withLTL (Linear Time Logic) properties....more September 30, 2015S1.05 - LTL Properties (pdf) Properties to be satisfied by the system must be expressed in a formal language. A first approach is introduced withLTL (Linear Time Logic) properties....more

The podcast currently has 34 episodes available.