Schedule

This course is scheduled as part of the SOC Master Program. Check out the schedule on ICT schedule page.

Lectures

Date	Room	Topic	Slides
January 28	540	Systems and Models and the Rugby Meta-Model (62)	pdf	4 slides per page
January 29	540	Lecture on Finite State Machines (38)	pdf	4 slides per page
February 4, February 5	540	Petri Nets (51)	pdf	4 slides per page
February 11, February 12	540	Untimed Model of Computation (75)	pdf	4 slides per page
February 18	540	Synchronous Model of Computation (49)	pdf	4 slides per page
February 19	540	Timed Model of Computation (27)	pdf	4 slides per page
February 25	540	Tightly Coupled Process Networks (19)	pdf	4 slides per page
February 26	540	Nondeterminism and Probability (20)	pdf	4 slides per page

Exercises

On the exercise page you find your assignments. The following schedule tells you when exercises are due and which exercises are discussed in the exercise hours.

Date of Exercise hour	Room	Topic	Assignments due
February 6, 2007	439	Finite State Machine
February 8, 2007	439	Petri Nets
February 13, 2007	439		Finite State Machines
February 15, 2007	439	Synchronous Dataflow, Synchronous MoC	Petri Nets
February 20, 2007	439	Tightly Coupled Networks	Synchronous Dataflow Graphs, Synchronous Model of Computation
February 29, 2007	540	Exam Preparation	Tightly Coupled Process Networks

Labs

The lab hours are

• Wednesday, February 6, 8:00 - 12:00, 539: Introduction to modeling labs (19), pdf, 4 slides per page
• Wednesday, February 13, 8:00 - 12:00, 533
• Wednesday, February 20, 8:00 - 12:00, 533
• Wednesday, February 27, 8:00 - 12:00, 533
• Monday, March 3, 13:00 - 17:00,
• Wednesday, March 5, 8:00 - 12:00, 539