Dániel LESKÓassistant lecturer
Eötvös Loránd University, Faculty of Informatics
Department of Programming Languages And Compilers
Room: D 2-517
Attendance at practice sessions is mandatory.
There will be one in-class exam around the middle/end (to be decided by the clas) of the semester.
Option A: Pick a topic related to Petri nets and present this topic in 15 minutes to the class (with slides), at the end of the semester.
Option B: Create a fairly complex coloured Petri-net in CPN Tools and defend it (explain what and how does what it does), at the end of the semester
The final grade will be decided based on the result of the in-class exam and the quality of the homework.