Sign up to save your podcastsEmail addressPasswordRegisterOrContinue with GoogleAlready have an account? Log in here.
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
FAQs about From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD):How many episodes does From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD) have?The podcast currently has 34 episodes available.
September 30, 2015S1.01 - Introduction to Symmetric NetsThis sequence starts with a general overview of the tutorial. Then, the characteristics of different kinds of Petri nets, from Place/Transition nets to Coloured nets, are put into light and motivate the focus of this tutorial on Symmetric nets. These are then informally introduced....more3minPlay
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 Petri nets, from Place/Transition nets to Coloured nets, are put into light and motivate the focus of this tutorial on Symmetric nets. These are then informally introduced....more0minPlay
September 30, 2015S1.02 - Syntax and Semantics of Symmetric NetsThis sequence presents the syntax and semantics of Symmetric nets, so that a rigorous presentation of their firing rule can be given, together with an example. The specific basic colour functions that are used in Symmetric nets are also detailed....more3minPlay
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 their firing rule can be given, together with an example. The specific basic colour functions that are used in Symmetric nets are also detailed....more0minPlay
September 30, 2015S1.03 - Modelling with Symmetric NetsThis sequence presents a complete small example, where a simple train system with conditions to avoid trains collisions is modelled step-by-step. It thus shows the modelling approach process when using Symmetric nets....more3minPlay
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 collisions is modelled step-by-step. It thus shows the modelling approach process when using Symmetric nets....more0minPlay
September 30, 2015S1.04 - The ReachabilityGraph for Symmetric Nets AnalysisAfter 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 of the system....more3minPlay
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 of the system....more0minPlay
September 30, 2015S1.05 - LTL PropertiesProperties to be satisfied by the system must be expressed in a formal language. A first approach is introduced with LTL (Linear Time Logic) properties....more3minPlay
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 with LTL (Linear Time Logic) properties....more0minPlay
FAQs about From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD):How many episodes does From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD) have?The podcast currently has 34 episodes available.