Abstrakt:
Práce se zaměřuje na popis a modelování činnosti vláken v moderních operačních systémech. Součástí práce je osvojení Petri sítí jako modelovacího nástroje s důrazem na barvené Petri sítě. Samotné modelování je realizováno pomocí barvených Petri sítí a zaměřuje se na stavový, behaviorální a kontextuální pohled na činnosti vláken.