DES tools
Z ApolloWiki
The list of tools created by the group members and students.
Plug-ins for libFAUDES
- Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc, 2021)
- Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018)
- Coordination control plug-in (already part of libFAUDES)