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.


--

16 Dezembro 2011, 09:30 José António Da Cruz Pinto Gaspar

--


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.


--

12 Dezembro 2011, 09:30 José António Da Cruz Pinto Gaspar

--


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.