Sumários
9b - Analysis of Discrete Event Systems
11 novembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Properties of DESs. Second methodologies for the analysis: matricial equation.
Lab1c (integração e demonstração)
11 novembro 2011, 09:30 • José António Da Cruz Pinto Gaspar
Integração das partes A, B e C do 1º projecto, sistema de alarme para detecção de intrusões. Demonstração de funcionamento de todo o 1º projecto.
9a - Analysis of Discrete Event Systems
7 novembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Properties of DESs. First methodologies for the analysis: reachability tree.
Lab1c (integração e demonstração)
7 novembro 2011, 09:30 • José António Da Cruz Pinto Gaspar
Integração das partes A, B e C do 1º projecto, sistema de alarme para detecção de intrusões. Demonstração de funcionamento de todo o 1º projecto.
8b - Discrete Event Systems
4 novembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Petri networks. State and dynamics of PNs.