Sumários
Lab2b
21 novembro 2011, 09:30 • José António Da Cruz Pinto Gaspar
Parte B do 2º projecto, Sistema de Detecção e Alarme de Intrusão, modelação como sistema de eventos discretos. Análise da rede de Petri proposta na parte A. Análise do sistema utilizando GRAFCET.
10b - Analysis of Discrete Event Systems
18 novembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Equivalence. Decidability of reachability and liveness. Simulation of Petri nets, including input and output signals.
Lab2a
18 novembro 2011, 09:30 • José António Da Cruz Pinto Gaspar
Parte A do 2º projecto, Sistema de Detecção e Alarme de Intrusão, modelação como sistema de eventos discretos. A modelação do processo de leitura de uma tecla é realizada por uma rede de Petri.
10a - Analysis of Discrete Event Systems
14 novembro 2011, 11:00 • José António Da Cruz Pinto Gaspar
Using the method of matrix equations to study reachability, conservation and temporal invariance.
Lab2a
14 novembro 2011, 09:30 • José António Da Cruz Pinto Gaspar
Parte A do 2º projecto, Sistema de Detecção e Alarme de Intrusão, modelação como sistema de eventos discretos. A modelação do processo de leitura de uma tecla é realizada por uma rede de Petri.