Sumários
14b - Exercises
16 dezembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Exercises - liveness analysis, coverability analysis, and supervisor design based on constraining the number of firings.
14a - Exercises
12 dezembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Exercises - Representing a semaphores system using Petri nets (obtaining the 5-tuple (P,T,A,w,u0)), design of supervisors linking separate sub-nets, reachability tree, and liveness analysis.
13b - Exercises
9 dezembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Exercises - Petri net graphical representation given the 5-tuple (P,T,A,w,u0), reachability tree and supervisor design.