Wykład 1 (1.III 2026)
Dlaczego sieci Petriego?
Sieci elementarne, definicje, podstawowe własności.Wykład 2 (8.III 2026)
Sieci elementarne c.d.: grafy konfiguracji, sieci bezkontaktowe. Przykład grafu konfiguracji dla filozofów.
Sieci miejsc i tranzycji: definicje, podstawowe własności.
Wykład 3 (22.III 2026)
Sieci miejsc i tranzycji: grafy zaznaczeń, własności behawioralne, techniki analizy sieci, algebra liniowa, techniki strukturalne.
Wykład 4 (29.III 2026)
Sieci miejsc i tranzycji: techniki strukturalne, szczególne rodzaje, maszyny stanowe, grafy znakowane, sieci wolnego wyboru.
Wykład 5 (12.IV 2026)
Sieci elementarne -- równoważności, strukturalna, behawioralna, obserwacyjna. Redukcja sieci.
Wykład 6 (26.IV 2026)
Sieci elementarne -- podział na składowe sekwencyjne.
Wykład 7 (10.V 2026)
Procesy w sieciach elementarnych.
Wykład 8 (17.V 2026)
Sieci predykatów i zdarzeń.
Wykład 9 (31.V 2026)
Nieograniczone sieci miejsc i tranzycji, ω-zaznaczenia, ich (skończone) drzewa i grafy pokrycia.
Wykład 10 (14.VI 2026)
Podsumowanie.
Egzamin, termin zerowy. Przykłady tematów egzaminacyjnych.
