Sieci Petriego 1000-2M01SP
Sieci Petriego, popularny model współbieżności łączy dwie cechy: prostotę opisu z zaawansowanymi technikami analizy. Doczekał się bogatej literatury i dziesiątków implementacji. Przydatne dla wszystkich, którzy chcą poznać narzędzie opisujące koordynację współbieżnie działających procesów.
Plan wykładu:
1. Sieci warunków i zdarzeń.
2. Graf osiągalności.
3. Sieci miejsc i zdarzeń. Wlasności sieci Petriego: osiągalność,
żywotność, ograniczoność.
4. Macierz incydencji i równanie stanu.
5. Graf pokrywalności.
6. Cykle, P-systemy, T-systemy.
7. Sieci z wolnym wyborem.
8. Rozszerzenia modelu sieci Petriego: sieci z łukami wzbraniającymi
9. Komputery Petriego. Funkcje obliczalne przez sieci Petriego.
10. Sieci kolorowane.
W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku.
Rodzaj przedmiotu
Tryb prowadzenia
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Studenci poznają techniki projektowania i analizy asynchronicznych systemów współbieżnych, ze szczególnym uwzględnieniem procesów biznesowych. Umieją stosować metody matematyczne do analizy systemów (K_W02,K_U01). Potrafią rozstrzygać problemy blokowania się, żywotności ograniczoności (K_U07). Mają wiedzę dotyczącą problemów osiągalności w systemach z wykładniczą eksplozją liczby stanów.
Kryteria oceniania
W czasie ćwiczeń związanych z wykładem studenci rozwiązują serię zadań domowych. Aktywność na ćwiczeniach poparta odpowiednią liczbą rozwiązanych zadań skutkuje propozycją oceny końcowej. Egzamin polega na pisemnym rozwiązaniu zestawu zadań z przerobionego materiału. Zadania oceniane są w skali 0-4. Próg zaliczenia: 50%.
Literatura
1.W.Reisig, Petri Nets, Springer Verlag 1987
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: