Computer Systems Simulation
Spring 2012
Law and Kelton, "Simulation Modeling and Analysis", 3th Edition, McGraw Hill, 2000
Lecture02- Simulation Examples [pdf]
Lecture03- General Principles [pdf]
Lecture 04- Queuing Models [pdf]
Lecture05-Model Checking & PetriNet [pdf]