Dlaczego sieci Petriego?
Sieci elementarne, definicje, podstawowe własności.

Sieci elementarne c.d.: grafy konfiguracji, sieci bezkontaktowe. Przykład grafu konfiguracji dla filozofów.

Sieci miejsc i tranzycji: definicje, podstawowe własności.

Sieci miejsc i tranzycji: grafy zaznaczeń, własności behawioralne, techniki analizy sieci, algebra liniowa, techniki strukturalne.

Sieci miejsc i tranzycji: techniki strukturalne, szczególne rodzaje, maszyny stanowe, grafy znakowane, sieci wolnego wyboru.

Sieci elementarne -- równoważności, strukturalna, behawioralna, obserwacyjna. Redukcja sieci.