Przykłady tematów na egzamin

• definicja sieci elementarnej
• definicja sieci miejsc i tranzycji
• grafy konfiguracji/stanów
• sieci bezkontaktowe
• maszyny stanowe
• grafy znakowane (marked graph)
• definicja sieci ograniczonej/1-bezpiecznej, przykłady takich sieci
• pojęcie żywości, różne stopnie, przykłady
• metody algebraiczne, niezmienniki, przykłady użycia
• odwracalność w sieci, przykłady
• sieci z pułapką, jakie wnioski z pułapki
• sieci z odpływem, jakie wnioski z odpływu, czy sieć może/musi mieć zakleszczenie?
• zdarzenia niezależne, przykłady i powody braku współbieżności
• pojęcie konfuzji, przykłady
• sieci z wolnym wyborem, definicja, przykłady
• równoważności sieci: strukturalna, behawioralna, obserwacyjna, przykłady
• podsieci, sieci sekwencyjne, podział sieci
• procesy, przykład użycia sieci jako procesu
• sieci predykatów, przykład z filozofami