Práce na stejné téma (mají shodná klíčová slova):
model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
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ů | Práce na příbuzné téma
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ů | Práce na příbuzné téma
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ů | Práce na příbuzné téma
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ů | Práce na příbuzné téma
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ů | Práce na příbuzné téma
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ů | Práce na příbuzné téma
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 | Práce na příbuzné téma
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ů | Práce na příbuzné téma
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 | Práce na příbuzné téma
Editor Petriho sítí
(Roman WEHMHŐNER)2019, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//u6pgsv// | Informatika / Aplikovaná informatika | Práce na příbuzné téma