Petri Nets Research Group
Team members| Češka Milan, prof. RNDr., CSc., UITS FIT VUT |  |
- Formal Languages Theory
- Formal Specifications
- Petri Nets Theory
- System Modelling and Simulation
| | Janoušek Vladimír, doc. Ing., Ph.D., UITS FIT VUT |  | Modeling, simulation, prototyping, pure object orientation, reflective architectures, simulation-driven developlement.
| | Kočí Radek, Ing., Ph.D., UITS FIT VUT |  | - modelling and simulation
- formal models and simulation in system design
- software engineering
- simulation and operating systems architectures
- project PNtalk
| | Křena Bohuslav, Ing., Ph.D., UITS FIT VUT |  |
- Formal Analysis and Verification
| | Novosad Petr, Ing., UITS FIT VUT |  | | | Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT |  | |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)