456-0909/01 – Petriho sítě (PS)

Garantující katedraKatedra informatikyKredity10
Garant předmětuprof. RNDr. Petr Jančar, CSc.Garant verze předmětuprof. RNDr. Petr Jančar, CSc.
Úroveň studiapostgraduálníPovinnostvolitelný odborný
RočníkSemestrzimní + letní
Jazyk výukyčeština
Rok zavedení1997/1998Rok zrušení2009/2010
Určeno pro fakultyFEIUrčeno pro typy studiadoktorské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
JAN59 prof. RNDr. Petr Jančar, CSc.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zápočet a zkouška 2+0
kombinovaná Zápočet a zkouška 2+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

Kurs je věnován teorii Petriho sítí a jejich praktickými možnostmi při modelování, analýze a verifikaci diskrétních dynamických systémů s distribuovanými stavy a paralelními procesy.

Povinná literatura:

J.L.Peterson: Petri Nets and the Modeling of Systems. Prentice Hall, 1981 W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998. Markl, J.: Petriho sítě I., II. Učební texty v elektronické podobě, VŠB-TU Ostrava, 1998

Doporučená literatura:

R.David, H.Alla: Petri Nets and Grafcet /Tools for modelling discrete event systems/. Prentice Hall Ltd., 1992 K.Jensen, G.Rozenberg /Eds./: High-level Petri Nets /Theory and Application/. Springer-Verlag, 1991. K.Jensen /Ed./: Application and Theory of Petri Nets . Springer-Verlag, 1992 W.Resig-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. K.Jensen: Coloured Petri Nets (Analysis Methods), Volume 2, Springer - Verlag, 1995. K.Jensen: Coloured Petri Nets (Practical Use), Volume 3, Springer - Verlag, 1997.

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

E-learning

Další požadavky na studenta

Prerekvizity

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

Korekvizity

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

Osnova předmětu

Přednášky: Problém analýzy, modelování a návrhu složitých systému 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íti. 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: 1960/1961 letní semestr, platnost do: 2008/2009 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodů
Zápočet a zkouška Zápočet a zkouška 100 (145) 51
        Zkouška Zkouška 100  0
        Zápočet Zápočet 45  0
Rozsah povinné účasti:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2009/2010 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika K čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika K čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika K čeština Ostrava volitelný odborný stu. plán
2009/2010 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava volitelný odborný stu. plán
2008/2009 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava volitelný odborný stu. plán
2008/2009 (P2612) Elektrotechnika a informatika (2612V015) Elektronika K čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2646) Informační technologie K čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika K čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika K čeština Ostrava volitelný odborný stu. plán
2008/2009 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika K čeština Ostrava povinně volitelný stu. plán
2007/2008 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2007/2008 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2007/2008 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2007/2008 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava volitelný odborný stu. plán
2006/2007 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (P2645) Elektrotechnika, sdělovací a výpočetní technika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (P2612) Elektrotechnika a informatika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (P2612) Elektrotechnika a informatika (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (P2612) Elektrotechnika a informatika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (P2612) Elektrotechnika a informatika (2601V013) Telekomunikační technika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (P2612) Elektrotechnika a informatika (2612V015) Elektronika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (P2612) Elektrotechnika a informatika (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (P2612) Elektrotechnika a informatika (2612V045) Technická kybernetika P čeština Ostrava povinně volitelný stu. plán

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

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