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.
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.