From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD)

S1.04 - The ReachabilityGraph for Symmetric Nets Analysis (pdf)


Listen Later

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.
...more
View all episodesView all episodes
Download on the App Store

From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD)By Fabrice Kordon