MAT-74506 Model Checking and Petri Nets, 7 cr

Implementation MAT-74506 2016-01

Lessons

Period	1 - 2
Methods of instruction	Monimuoto-opetus, Tentti
Person responsible	Antti Valmari

Assessment scale

Numerical evaluation scale (0-5)

Requirements

If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.


Exam	Thu 22.12.2016	09:00 - 12:00
Exam	Thu 16.02.2017	17:00 - 20:00
Exam	Wed 05.04.2017	17:00 - 20:00


MAT-74506 Model Checking and Petri Nets/O/01	Tue 30.08.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 01.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 02.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 06.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 08.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 09.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 13.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 15.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 16.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 20.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 22.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 23.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 27.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 29.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 30.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 04.10.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 06.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 07.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 11.10.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 13.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 14.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 25.10.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 27.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 28.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 01.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 03.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 04.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 08.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 10.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 11.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 15.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 17.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 18.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 22.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 24.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 25.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 29.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 01.12.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 02.12.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 08.12.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 09.12.2016	10:00 - 12:00

Study material

Type	Name	Author	ISBN	Additional information	Language	Examination material
Lecture slides		Antti Valmari			English	Yes
Other literature	Scientific papers in the field			Will be delivered to the students.	English	No