460-6005/03 – Petriho sítě (PS)

Garantující katedraKatedra informatikyKredity10
Garant předmětudoc. Ing. Zdeněk Sawa, Ph.D.Garant verze předmětudoc. Ing. Zdeněk Sawa, Ph.D.
Úroveň studiapostgraduálníPovinnostpovinně volitelný typu B
RočníkSemestrzimní + letní
Jazyk výukyčeština
Rok zavedení2019/2020Rok zrušení2024/2025
Určeno pro fakultyFEIUrčeno pro typy studiadoktorské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
SAW75 doc. Ing. Zdeněk Sawa, Ph.D.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zkouška 28+0
kombinovaná Zkouška 28+0

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Student po úspěšném absolvování předmětu: - rozumí základním pojmům v oblasti Petriho sítí - umí modelovat a analyzovat konkrétní systémy pomocí softwarových nástrojů založených na Petriho sítích - dokáže zhodnotit a uplatnit použití prostředků Petriho sítí u konkrétních problémů inženýrské praxe - prokáže schopnost samostatně zvládnout a odprezentovat pokročilou partii v dané oblasti

Vyučovací metody

Přednášky
Individuální konzultace
Projekt

Anotace

Petriho sítě jsou jsou často používaným nástrojem pro modelování, návrh a analýzu složitých systémů s distribuovanými stavy, paralelními procesy a hierarchickou strukturou. Mají četné aplikace v oblasti zpracování dat, operačních systémů, distribuovaných databází a řízení složitých procesů. Kurs seznamuje se základním pojmovým aparátem a metodami teorie Petriho sítí a s metodikou jejího použití při praktickém návrhu, modelování, analýze a verifikaci informačních a jiných systémů.

Povinná literatura:

K.Jensen, L.M.Kristensen: Coloured Petri Nets (Modelling and Validation of Concurrent Systems), Springer, 2009.

Doporučená literatura:

W.Reisig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998. W.Reisig-G.Rozenberg (Eds.): Lectures on Petri Nets II: Applications, LNCS 1492, Springer, 1998. M.A.Marsan, G.Balbo, G.Conte, S.Donatelli, G.Franceschinis: Modelling with Generalised Stochastic Petri Nets. Series in Parallel Computing, John Wiley & Sons, 1995.

Další studijní materiály

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Student sepíše stručný, ale výstižný a srozumitelný, článek o vybraném pokročilém tématu, které v rámci kurzu odprezentuje. Ústní zkouška.

E-learning

Konzultace prostřednictvím MS Teams.

Další požadavky na studenta

Žádné další požadavky na studenta nejsou kladeny.

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

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ů.

Podmínky absolvování předmětu

Kombinovaná forma (platnost od: 2019/2020 zimní semestr, platnost do: 2024/2025 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodůMax. počet pokusů
Zkouška Zkouška   3
Rozsah povinné účasti:

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2024/2025 (P0541D170005) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0541D170005) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140032) Informatika a výpočetní vědy K čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140032) Informatika a výpočetní vědy P čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0714D060001) Komunikační technologie P čeština Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0714D060001) Komunikační technologie K čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0714D060001) Komunikační technologie K čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0714D060001) Komunikační technologie P čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140032) Informatika a výpočetní vědy P čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140032) Informatika a výpočetní vědy K čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0541D170005) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0541D170005) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2022/2023 (P0541D170005) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0541D170005) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0714D060001) Komunikační technologie P čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0714D060001) Komunikační technologie K čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2022/2023 (P0613D140032) Informatika a výpočetní vědy P čeština Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0613D140032) Informatika a výpočetní vědy K čeština Ostrava povinně volitelný typu B stu. plán
2021/2022 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2021/2022 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.