Předmět Petriho sítě II (PES II)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu PES II - Petriho sítě II, Vysoká škola báňská - Technická univerzita Ostrava (VŠB-TU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Cílem je podat základní informaci o teorii a praktických možnostech Petriho sítí vysoké úrovně (HLPN - High LevelPetri Nets) při specifikaci, modelování a analýze složitých distribuovaných systémů s paralelními procesy. Výkladje zaměřen na dnes nejrozšířenější variantu HLPN - barvené Petriho sítě (CPN - Coloured Petri Nets) podle K.Jensena.
Osnova
Přednášky:1) Úvod do barevných Petriho sítí2) Základy jazyka CPN ML3) Analýza stavového prostoru barevných Petriho sítí4) Časované barevné sítě5) Analýza výkonnosti (performance)6) Hierarchické sítě7) Formální definice barevných Petriho sítí - základní definice8) Formální definice barevných Petriho sítí - operační sémantika9) Další varianty časovaných sítí a nástroj TAPAAL10) Úvod do lineární temporální logiky (LTL)11) High-level PN a jejich využití jako programovacího prostředku pro distribuované aplikace12) Porovnání Petriho sítí s jinými modelovacími prostředky13) Záverečné shrnutíCvičení:1) Příklady jednoduchých barevných Petriho sítí2) Příklady základních konstrukcí použivaných v barevných Petriho sítích3) Příklady pro verifikaci pomocí analýzy stavového prostoru4) Příklady pro časované sítě5) Příklady pro performance analýzu časovaných sítí6) Příklady na hierarchické sítě7) Příklady na ověření pochopení základních definic barevných Petriho sítí8) Příklady složitějších systemů modelovaných pomocí barevných Petriho sití9) Příklad na modelovaní s nástrojem TAAPAL10) Příklad verifikace pomocí nástroje TAAPAL11) Příklad na použití nástroje Kaira12) Diskuse modelů vytvořených studenty13) Shrnutí, připomenutí procvičení nejtěžších pasáží
Literatura
K.Jensen: Coloured Petri Nets (Basic Concepts), Volume 1, Springer - Verlag, 1992, 1996.www.informatik.uni-hamburg.de/TGI/PetriNets - Welcome to the Petri Nets World http://wiki.daimi.au.dk/cpntools/cpntools.wiki Computer Tool for Coloured Petri Netshttp://www.daimi.au.dk/CPnets/ These Web pages present the activities of the CPN group at the Department of ComputerScience, University of Aarhus, Denmark
Požadavky
Žádné
Garant
prof. RNDr. Petr Jančar, CSc.
Vyučující
prof. RNDr. Petr Jančar, CSc.