Problém analýzy, modelování a návrhu složitých systémů s paralelismem a hierachickou strukturou. Síťové metody řešení tohoto problému. Definice a klasifikace Petriho sítí.
Neformální úvod do modelování pomocí Petriho sítí I. C/E Petriho sítě, P/T Petriho sítě. Petriho sítě s inhibitory.
Neformální úvod do modelování pomocí Petriho sítí II. Petriho sítě vysoké úrovně. Barevné Petriho sítě. Hierarchické Petriho sítě.
Struktury, systémy a parametrizované systémy 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.
Vlastnosti Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Problém dosažitelnosti. Stavová analýza Petriho sítí.
Strukturní analýza Petriho sítí. Fundamentální rovnice. P-invarianty, T-invarianty a komponenty síti. Duální 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í. Hierarchizace metodou substituce míst a přechodů.
Jazyky Petriho sítí a jejich vztah k Chomského hierarchii jazyku.
HLPN (High Level Petri Nets) - Petriho sítě vysoké vysoké úrovně.
CPN (Coloured Petri Nets) - nejrozšířenější varianta HLPN
CPN nehierarchické. Popis struktury a dynamiky.
CPN hierarchické. Substituce a invokace míst a přechodů. Fúzování míst a přechodů.
Neformální úvod do modelování pomocí Petriho sítí I. C/E Petriho sítě, P/T Petriho sítě. Petriho sítě s inhibitory.
Neformální úvod do modelování pomocí Petriho sítí II. Petriho sítě vysoké úrovně. Barevné Petriho sítě. Hierarchické Petriho sítě.
Struktury, systémy a parametrizované systémy 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.
Vlastnosti Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Problém dosažitelnosti. Stavová analýza Petriho sítí.
Strukturní analýza Petriho sítí. Fundamentální rovnice. P-invarianty, T-invarianty a komponenty síti. Duální 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í. Hierarchizace metodou substituce míst a přechodů.
Jazyky Petriho sítí a jejich vztah k Chomského hierarchii jazyku.
HLPN (High Level Petri Nets) - Petriho sítě vysoké vysoké úrovně.
CPN (Coloured Petri Nets) - nejrozšířenější varianta HLPN
CPN nehierarchické. Popis struktury a dynamiky.
CPN hierarchické. Substituce a invokace míst a přechodů. Fúzování míst a přechodů.