Vzorové úlohy pro simulační program Witness

Abstract

Tato bakalářská práce se zabývá vytvořením řešených příkladů a interaktivních úloh do simulačního programu Witness pro předmět "Simulace systémů". V teoretické části se práce věnuje popisu důležitých pojmů z oblasti diskrétní simulace systémů jako je např. "systém", "model" a "simulace". A dále se věnuje popisu integrovaného prostředí Witness, zejména popisu tvorby modelu a základních součástí v tomto nástroji. Praktická část se zabývá podrobným popisem jednoho ze tří vytvořených řešených příkladů a dále popisuje jednu ze tří vytvořených interaktivních úloh.