S1.04 - The ReachabilityGraph for Symmetric Nets Analysis
Update: 2015-09-30
Description
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.
To do so, the construction of the reachability graph is introduced, which exhaustively explores all possible states of
the system.
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
