13a - Exercises

7 dezembro 2015, 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.