Theses on the same topic (having an identical keyword):
model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
Stochastické Petriho sítě
(Matyáš Fusek)2024, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/balbb/ | Matematika / Statistika a analýza dat | Theses on a related topic
Modelování podnikových procesů pomocí BPMN a Petriho sítí
(Samuel Spišák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k8t1g/ | Řízení softwarových systémů a služeb / Řízení vývoje služeb | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
(Ondřej Marek)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lk9bb/ | Řízení softwarových systémů a služeb / Řízení vývoje služeb | Theses on a related topic