TI2, TAD - cvičení z Petriho sítí

Informace pro studenty předmětů TI2 a TAD, léto 2005/2006. Cvičení těchto dvou předmětů jsou společná a budou uveřejňována na veřejné stránce předmětu TI2 (tj. zde).

Obsah

Aktuality


  • Termín semestrální zkoušky: 11.5.2006 14:00 posluchárna E105
  • Byl upraven počet a bodové hodnocení domácích úkolů z pěti čtyřbodových na čtyři pětibodové.


    • Počítačová cvičení

    Celkem proběhne 6 počítačových cvičení. Program některých cvičení bude ještě upřesněn.
    Cvičení Cvičící Okruh Nástroj(e) Téma
    CV1 Novosad C/E sítě CESim Seznámení s nástrojem CESim
    CV2 Novosad C/E sítě CESim Pokročilá analýza C/E sítí
    CV3 Marek P/T sítě PESim Analýza P/T sítí pomocí nástroje PESim
    CV4 Marek P/T sítě INA Analýza P/T sítí pomocí nástroje INA
    CV5 Marek Exkurze mimo Petriho sítě Spin, Uppaal Nástroje založené na jiných formalismech než Petriho sítích
    CV6 Novosad barvené sítě DesignCPN Modelování, simulace, analýza pomocí DesignCPN: bodovaná úloha

    Tato počítačová cvičení budou probíhat v nepravidelných intervalech, přičemž informace o konání budou zveřejněny na této stránce. Cvičení se budou konat v počítačové laboratoři D005, a to vždy ve středu 8:00-9:50. Konkrétní termíny jednotlivých cvičení budou upřesněny níže.

    Cvičení 1

    Proběhne ve 4. výukovém týdnu, tj. ve středu 1.3.2006.

    Cvičení 2

    Proběhne ve 5. výukovém týdnu, tj. ve středu 8.3.2006.

    Cvičení 3

    Proběhne ve 8. výukovém týdnu, tj. ve středu 29.3.2006.

    Cvičení 4

    Proběhne ve 9. výukovém týdnu, tj. ve středu 5.4.2006.

    Cvičení 5

    Zrušeno.

    Cvičení 6

    Zrušeno.

    Bodování

    Za domácí úlohy je možno získat maximálně 20 bodů, bude vypsáno 5 DÚ po 4 bodech.

    Domácí úlohy

    Domácí úlohy budou zadávány v nepravidelných intervalech, přičemž na jejich vypracování budete mít čas minimálně jeden týden. Zadání domácích úloh bude zveřejňováno na této stránce. Domácích úloh bude celkem 5, přičemž za každou bude možno získat 4 body. Způsob vypracování a odevzdání domácích úloh bude upřesněn (spolu se zadáním první DÚ).
    Úloha Zadáno Termín Zadání
    DU1 1.3.2006 13.3.2006 ukol1.pdf readers-writers-sablona.ces system.ces
    DU2 8.3.2006 20.3.2006 ukol2.pdf
    DU3 4.4.2006 19.4.2006 ukol3.pdf
    DU4 21.4.2006 3.5.2006 ukol4.pdf
    DU5 Zrušena

    Literatura