Modelování paralelních systémů Petriho sítěmi

1. Definice a základní vlastnosti nízkoúrovňových Petriho sítí a jejich základní třídy: C/E Petriho sítě, P/T Petrihosítě, Petriho sítě s inhibitory
2. Základní statické a dynamické vlastnosti Petriho sítí: značení Petriho sítě, živost, omezenost, reverzibilita, konzervativnost, dosažitelnost značení, zámky a pasti, apod.
3. P- a T-invarianty Petriho sítí a jejich stanovení.
4. Syntéza nízkoúrovňových Petriho sítí a základy teorie regionů.
5. Procesní Petriho sítě a jejich základní vlastnosti, modelování a verifikace ekonomických systémů s jejich využitím.
6. Dobře-strukturované systémy, jejich vlastnosti a modelování těchto systémů s využitím procesních Petriho sítí.
7. Procesní algebry nad třídou procesních Petriho sítí, Property-preserving Petri Net Process Algebras a jejich aplikace při modelování ekonomických systémů.
8. Časové a časované Petriho sítě, modelování ekonomických systémů s diskrétním časem.
9. Definice a vlastnosti základních tříd vysokoúrovňových Petriho sítí, barevné Petriho sítě.
10. Vysokoúrovňové Procesní Petriho sítě a jejich využití při modelování ekonomických systémů.