Výzkumná skupina Petriho sítí

    Vlastní podskupina skupiny Modelování a simulace systémů.

    Témata výzkumu

    • Objektově orientované Petriho sítě (OOPN)
    • Časová rozšíření Petriho sítí
    • Temporální logiky a jejich rozšíření pro reálný čas s ohledem na Petriho sítě
    • Metody analýzy vysokoúrovňových Petriho sítí a jejich časovaných rozšíření
    • Počítačové nástroje založené na OOPN
    • Aplikace OOPN

    Vaše IPv4 adresa: 23.22.212.158
    Přepnout na IPv6 spojení

    DNSSEC [dnssec]