PES - cvičení z Petriho sítí

Informace pro studenty předmětů PES pro léto 2011/2012.

Obsah

Aktuality

  • Ve čtvrtek 25.4. od 13:00 v místnosti A113 v rámci semináře UITS proběhne prezentace Dr. Bukowiece z University of Zielona Gora (PL) k tématu hardwarové implementace Petriho sítí. http://www.fit.vutbr.cz/events/view_event.php?id=2718

    Počítačová cvičení

    Počítačová cvičení se budou konat v nepravidelných intervalech v laboratoři O104 v úterý od 9:00-10:50, ve středu od 9:00-10:50 a 11:00 - 12:50.

    Cvičení Datum konání Okruh Téma
    CV1 26. a 27.2. C/E Petriho sítě Seznámení s nástrojem CESim, který slouží k návrhu, simulaci a analýze C/E Petriho sítí.
    CV2 12. a 13.3. C/E Petriho sítě Pokročilejší analýza C/E systémů.
    CV3 9. a 10.4. P/T Petriho sítě Analýza P/T Petriho sítí - bezpečnost, omezenost, konzervativnost, živost, strom dosažitelných značení, P- a T-invarianty.
    CV4 23. a 24.4. Jazyky a CPN Jazyky Petriho sítí typu L, podtřídy a rozšíření Petriho sítí, barvené Petriho sítě.

    Domácí úlohy

    Domácí úlohy budou zadávány v nepravidelných intervalech na cvičeních. Na vypracování bude vždy čas minimálně jeden týden.

    Úloha Datum odevzdání Zadání Způsob odevzdání
    DÚ1 11.3. 24:00 uloha1.pdf Soubor .ces s vyřešenou úlohou uložte do informačního systému k příslušnému termínu.
    DÚ2 2.4. 16:00 uloha2.pdf Na přednášce
    DÚ3 23.4. 16:00 uloha3.pdf Písemnou část odevzdejte na přednášce a soubor s modelem odevzdejte do informačního systému k příslušnému termínu.
    DÚ4 6.5. 10:00 uloha4.pdf Úlohu odevzdejte na zkoušce.

    Literatura

    • Slajdy z přednášek
        Nové slajdy:
      • Úvodní přednáška: pdf
      • C/E Petriho sítě: pdf
      • Procesy C/E systémů: pdf
      • Vlastnosti C/E systémů: pdf
      • P/T Petriho sítě: pdf
      • Analýza P/T Petriho sítí: pdf
      • Jazyky Petriho sítí: pdf
      • Podtřídy a rozšíření Petriho sítí: pdf
      • Barvené a hierarchické Petriho sítě: pdf
      • Strukturování Petriho sítí: pdf

        Staré, ručně psané slajdy:
      • Binární relace: pdf (cca 2MB, 13 stran)
      • C/E sítě: pdf (cca 1MB, 47 stran, 2 slajdy na stranu)
      • Analýza P/T Petriho sítí: pdf (cca 0.5MB, 7 stran)
      • Invarianty: pdf (cca 0.15MB, 8 stran)
      • Příklady invariantů: pdf (cca 0.05MB, 4 strany)
      • Jazyky Petriho sítí: pdf (cca 0.2MB, 18 stran)
      • Barvené Petriho sítě: pdf (cca 1.4MB, 100 stran)
    • Laboratoře
    • Nástroje, software, manuály
      • The World of Petri Nets: html (odkazy na nástroje, literaturu, výzkumné skupiny, ...)
      • CESim: ver. 2.05 zip sw (C/E Petriho sítě)
      • Netlab:html (P/T Petriho sítě)
      • PIPE2:html (P/T Petriho sítě)
      • Sirphyco: zip sw
      • Visual Object Net: zip sw
      • PNtalk: html (objektově orientované Petriho sítě)
      • INA: html (P/T Petriho sítě)
      • CPN Tools: html (barvené Petriho sítě), návod pro spuštěni pod linuxem a wine
      • Kaira:html(barvené Petriho sítě jako prostředek pro návrh paralelních programů)
      • Spin: html (analýza a verifikace modelů v jazyce Promela)
      • Uppaal: html (časované konečné automaty)
      • Pesim (zastaralé, nefunguje pod win XP ani linux/wine): zip sw (simulace a analýza P/T Petriho sítí a stochastických sítí, Model systému čtenářů a písařů)
    • Další online literatura
      • Studijní opora PES: pdf
      • Stručný úvod do temporální logiky CTL: pdf
      • Model dvou semaforů na křižovatce: ps
      • Poznámky o P/T a barvených Petriho sítích: ps
      • Poznámky o stochastických Petriho sítích: ps
    • Reference
      • Češka, M. a kol.: Vyčíslitelnost a složitost. Skriptum VUT Brno, 1992.
      • Češka, M.: Petriho sítě.. Akademické nakladatelství CERM Brno, 1994.
    • Zajímavé odkazy