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.