Fabrice Kordon ציבורי
[search 0]

Download the App!

show episodes
Nowadays, systems tend to be more and more distributed. Distribution brings a huge complexity and a strong need to deduce possible (good and bad) behaviors on the global system, from the known behavior of its actors. For such systems, we know that classical development methods are not adequate since the coverage of possible executions is too low. This is an old observation that led people to investigate the use of formal methods.One good candidate for analyzing such systems are Petri nets. M ...
Loading …
show series
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.
Loading …

מדריך עזר מהיר

זכויות יוצרים 2021 | מפת אתר | מדיניות פרטיות | תנאי השירות
Google login Twitter login Classic login