Přednášky:
- Problém analýzy, modelování a návrhu distribuovaných systémů se synchronizací, paralelismem a hierarchickou strukturou. Petriho sítě jako vhodný nástroj pro řešení tohoto problému.
- Úvod do modelování pomocí Petriho sítí. P/T Petriho sítě. Petriho sítě s inhibičními hranami, s prioritami či resetovacími hranami.
- Struktura a systém Petriho sítě. Statika a dynamika Petriho sítí. Stav (značení) a množina dosažitelných stavů PN-systému. Graf dosažitelnosti.
- Stupeň proveditelnosti přechodu a relace definované na množině všech přechodů: konflikt, souběžnost, kauzalita, exkluzivita, konfúze.
- Vlastnosti Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Stavová analýza Petriho sítí pomocí grafu dosažitelnosti či pokrytí.
- Strukturní analýza Petriho sítí. Metody grafové a metody algebraické. Zámky a pasti. Fundamentální rovnice.
- P-invarianty a konzervativní komponenty sítě. T-invarianty a repetiční komponenty sítě. Duální Petriho sítě.
- Speciální typy Petriho sítí: automatové sítě, synchronizační sítě a sítě s volným výběrem.
- Syntéza bezpečných, živých a reverzibilních Petriho sítí. Jednoduchá hierarchizace metodou substituce míst a přechodů.
- Jazyky Petriho sítí a jejich vztah k Chomského hierarchii jazyků.
- Úvod do modelování pomocí Petriho sítí vyšší úrovně. Časované Petriho sítě.
- Barevné Petriho sítě.
- Stavová analýza barevných Petriho sítí.
Cvičení:
- Příklady modelování a návrhu systémů s paralelismem a hierarchickou strukturou pomocí Petriho sítí.
- Příklady na P/T Petriho sítě a Petriho sítě s inhibičními hranami, Petriho sítě s prioritami.
- Příklady na strukturu a systém Petriho sítě. Statika a dynamika Petriho sítí. Stav (značení) a množina dosažitelných stavů PN-systému. Konstrukce grafu dosažitelnosti či pokrytí.
- Příklady na stupeň proveditelnosti přechodu a relace definované na množině všech přechodů: konflikt, souběžnost, kauzalita, exkluzivita, konfúze.
- Příklady na určení vlastností Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Problém dosažitelnosti a problém pokrytí. Stavová analýza Petriho sítí.
- Příklady na strukturní analýzu Petriho sítí. Metody grafové a metody algebraické. Zámky a pasti. Fundamentální rovnice.
- Určení P-invariantů a konzervativních komponent sítě. Určení T-invariantů a repetičních komponent sítě. Duální Petriho sítě. Analýza Petriho sítí na základě P(T)-invariantů.
- Příklady speciálních typu Petriho sítí: automatové sítě, synchronizační sítě a sítě s volným výběrem.
- Příklady na syntézu bezpečných, živých a reverzibilních Petriho sítí. Jednoduchá hierarchizace metodou substituce míst a přechodů.
- Generování a rozpoznávání jazyků Petriho sítí.
- Příklady na speciální rozšíření pojmu Petriho sítě: časované Petriho sítě. CPN tool jako nástroj pro editaci, simulaci a analýzu barevných Petriho sítí.
- Příklady barevných Petriho sítí.
- Příklady na stavovou analýzu barevných Petriho sítí.
- Problém analýzy, modelování a návrhu distribuovaných systémů se synchronizací, paralelismem a hierarchickou strukturou. Petriho sítě jako vhodný nástroj pro řešení tohoto problému.
- Úvod do modelování pomocí Petriho sítí. P/T Petriho sítě. Petriho sítě s inhibičními hranami, s prioritami či resetovacími hranami.
- Struktura a systém Petriho sítě. Statika a dynamika Petriho sítí. Stav (značení) a množina dosažitelných stavů PN-systému. Graf dosažitelnosti.
- Stupeň proveditelnosti přechodu a relace definované na množině všech přechodů: konflikt, souběžnost, kauzalita, exkluzivita, konfúze.
- Vlastnosti Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Stavová analýza Petriho sítí pomocí grafu dosažitelnosti či pokrytí.
- Strukturní analýza Petriho sítí. Metody grafové a metody algebraické. Zámky a pasti. Fundamentální rovnice.
- P-invarianty a konzervativní komponenty sítě. T-invarianty a repetiční komponenty sítě. Duální Petriho sítě.
- Speciální typy Petriho sítí: automatové sítě, synchronizační sítě a sítě s volným výběrem.
- Syntéza bezpečných, živých a reverzibilních Petriho sítí. Jednoduchá hierarchizace metodou substituce míst a přechodů.
- Jazyky Petriho sítí a jejich vztah k Chomského hierarchii jazyků.
- Úvod do modelování pomocí Petriho sítí vyšší úrovně. Časované Petriho sítě.
- Barevné Petriho sítě.
- Stavová analýza barevných Petriho sítí.
Cvičení:
- Příklady modelování a návrhu systémů s paralelismem a hierarchickou strukturou pomocí Petriho sítí.
- Příklady na P/T Petriho sítě a Petriho sítě s inhibičními hranami, Petriho sítě s prioritami.
- Příklady na strukturu a systém Petriho sítě. Statika a dynamika Petriho sítí. Stav (značení) a množina dosažitelných stavů PN-systému. Konstrukce grafu dosažitelnosti či pokrytí.
- Příklady na stupeň proveditelnosti přechodu a relace definované na množině všech přechodů: konflikt, souběžnost, kauzalita, exkluzivita, konfúze.
- Příklady na určení vlastností Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Problém dosažitelnosti a problém pokrytí. Stavová analýza Petriho sítí.
- Příklady na strukturní analýzu Petriho sítí. Metody grafové a metody algebraické. Zámky a pasti. Fundamentální rovnice.
- Určení P-invariantů a konzervativních komponent sítě. Určení T-invariantů a repetičních komponent sítě. Duální Petriho sítě. Analýza Petriho sítí na základě P(T)-invariantů.
- Příklady speciálních typu Petriho sítí: automatové sítě, synchronizační sítě a sítě s volným výběrem.
- Příklady na syntézu bezpečných, živých a reverzibilních Petriho sítí. Jednoduchá hierarchizace metodou substituce míst a přechodů.
- Generování a rozpoznávání jazyků Petriho sítí.
- Příklady na speciální rozšíření pojmu Petriho sítě: časované Petriho sítě. CPN tool jako nástroj pro editaci, simulaci a analýzu barevných Petriho sítí.
- Příklady barevných Petriho sítí.
- Příklady na stavovou analýzu barevných Petriho sítí.