Now showing items 1-1 of 1

  • Výukový nástroj pro barvené Petriho sítě 

    Navrátil, Ondřej
    Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou ...