Prof. RNDr. Milan Češka, CSc.

Lecture courses:

• PES-2012/S, Petri Nets, IT-MSC-2, IT-MSC-2E
• TIN-2012/W, Theoretical Computer Science, IT-MSC-2E, IT-MSC-2
• TAD-2012/S, Theory and Applications of Petri Nets, CSE-PHD-4

Laboratory exercises:

• TAD-2012/S, Theory and Applications of Petri Nets, CSE-PHD-4

Consulting hours:

 
Thursday 14.00 - 15.00

Graduated Ph.D. Students:

• Hanáček Petr, doc. Dr. Ing., dissertation in 1997:
  
  Model synchronizačních a komunikačních mechanismů
• Janoušek Vladimír, doc. Ing., Ph.D., dissertation in 1999:
  
  Modeling Objects by Petri Nets
• Křena Bohuslav, Ing., dissertation in 2004:
  
• Vojnar Tomáš, prof. Ing., Ph.D., dissertation in 2001:
  
  Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets

Current Ph.D. Students:

• Novosad Petr, Ing., research theme:
  
  Tools for Petri net application in system design
• Polášek Petr, Ing., research theme:
  
  Modelling of heterogeneous systems