SYSC 5104 [0.5 credit] (ELG 6114) Methodologies For Discrete-Event Modeling And Simulation
Methodological aspects of simulation. Modeling discrete events systems. Modeling formalisms: FSA, FSM, Petri Nets, DEVS, others. Verification and validation. Cellular models: Cellular Automata, Cell-DEVS. Continous and hybrid models. Parallel and Distributed simulation (PADS) techniques. PADS middleware: HLA, Parallel-DEVS, Time-Warp.
Prerequisite(s): knowledge of C++ and of basic concepts of concurrency and distributed systems.