Zoznam všetkých cieľov

  1. Oboznámiť sa s obsahom, priebehom a hodnotením cvičení.
  2. Získať učebné materiály k predmetu.
  3. Použiť Boolovu algebru a formálne systémy na dôkaz viet vo výrokovej logike.
  1. Preskúmať základnú funkcionalitu nástroja mFDTE/PNtool2.
  2. Určiť, ako pomocou Petriho sietí modelujeme nedeterminizmus, paralalelizmus a súbežné správanie.
  3. Vyjadriť Petriho sieť v textovej podobe.
  4. Modifikovať vytvorené siete podľa požiadaviek.
  1. Upraviť Petriho sieť popisujúcu problém obedujúcich filozofov tak, aby branie a vrátenie vidličiek bolo nedeterministické.
  2. Z modelov jednotlivých procesov vytvoriť model výrobného procesu.
  1. Určiť vlastnosti a vyriešiť algoritmické problémy Petriho sietí.
  2. Vypočítať a interpretovať invarianty Petriho sietí.
05. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
06. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
07. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
08. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
09. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
10. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
11. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
12. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
13. Tu napíšte názov cvičenia.
  1. Tu napíšte aspoň jeden cieľ.
  2. Tu napíšte aspoň jeden cieľ.
comments powered by Disqus