(3 units). Methodological aspects of simulation. Modelling discrete events systems. Modelling formalisms: FSA, FSM, Petri Nets, DEVS, others. Verification and validation. Cellular models: cellular automata, cell-DEVS. Continuous and hybrid models. Parallel and distributed simulation (PADS) techniques. PADS middleware: HLA, parallel-DEVS, Time-warp. This course is equivalent to SYSC 5104 at Carleton University. Course Component: Lecture
(3 units). Methodological aspects of simulation. Modelling discrete events systems. Modelling formalisms: FSA, FSM, Petri Nets, DEVS, others. Verification and validation. Cellular models: cellular automata, cell-DEVS. Continuous and hybrid models. Parallel and distributed simulation (PADS) techniques. PADS middleware: HLA, parallel-DEVS, Time-warp. This course is equivalent to SYSC 5104 at Carleton University. Course Component: Lecture
