Analýza systémů založená na modelech - Projekty Autor: Dominik Harmim harmim6@gmail.com Projekty: Petriho sítě Čítačové automaty Markovovy řetězce