Systémy diskrétních událostí

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

Anotace:

Úvod do problematiky, základní pojmy, kvantitativní/kvalitativní modelování

diskr. událostí. GRAFCET a jeho aplikace, praktické příklady. Definice

Petriho sítí a jejich modelování -přehled. Typy Petriho sítí a jejich

vlastnosti. Vyšetřování vlastností sítí a jejich vztah k vlastnostem

reálného systému. Metody redukce sítí a jejich užití. Formální jazyky pro

modelování sítí -přehled. Algebraický popis Petriho sítí. Analýza časového

chování systému. Modelování v P-časovaných Petriho sítích. T-časované sítě,

ekvivalence Petriho sítí. Příklady reálných úloh, využití v úlohách CIM,

plánování/rozvrhování.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

Petri Nets and Grafcet - Tools for Modelling discrete event systems, by: Rene David & Hassane Alla, Prentice Hall publ. New York , London, Tokyo, 1992, ISBN: 0-13-327537-X

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Doktorské studium, prezenční forma (povinně volitelný předmět)
• Doktorské studium, kombinovaná forma (povinně volitelný předmět)