Each student has to model and analyze a real-life phisycal or business application by Petri nets and to validate some fundamental properties by reformulating and model checking the solution in SMV.
|
|
|
Homework:
Each student has to model and analyze a real-life phisycal or business application by Petri nets and to validate some fundamental properties by reformulating and model checking the solution in SMV. |