518321791

Elementy teorii sieci Petriego: podstawy formalne - definicje, reprezentacje, własności, klasyfikacje. Własności dynamiczne dyskretnych obiektów zdarzeniowych i ich modelowe odpowiedniki - konflikt, blokady, żywotność, bezpieczeństwo, aktywność, zachowawczość. Konstruowanie i analiza grafów osiągalności i pokrycia sieci Petriego, P i T niezmienniki. Interpretowane sieci Petriego: Sieć Petriego jako model współbieżnego sterownika logicznego. Makrosieć. Modelowanie wybranych klas procesów dyskretnych.

METODY KSZTAŁCENIA:

wykład: wykład konwencjonalny, dyskusja laboratorium: ćwiczenia laboratoryjne

EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA:

OPIS EFEKTU	SYMBOLE EFEKTÓW	METODY WERYFIKACJI	FORMA ZAJĘĆ
Potrafi pracować indywidualnie i w zespole	K2I_W01	Bieżąca kontrola na zajęciach	Laboratorium
Potrafi zaimplementować algorytmy grafowe w jednym z uniwersalnych języków programowania	K2I_W04	sprawozdanie	Laboratorium
Umie opisać relacje w systemie lub strukturze przy pomocy modeli grafowych, a dynamiczny proces współbieżny, np. sterowania logicznego -przy pomocy sieci Petriego	K2IJJ08	Bieżąca kontrola na zajęciach, sprawozdanie	Laboratorium
Potrafi prowadzać w razie potrzeby problemy informatyczne do zagadnień grafowych i stosować algorytmy grafowe do ich rozwiązywania	K2I_U08	egzamin	Wykład
Zna podstawowe pojęcia teorii grafów oraz najważniejsze algorytmy grafowe	K2I W04, K2IJJ08	egzamin	Wykład

WARUNKI ZALICZENIA:

Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu pisemnego lub ustnego.

Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich zadań laboratoryjnych.

Składowe oceny końcowej = wykład: 60% + laboratorium: 40

OBCIĄŻENIE PRACĄ STUDENTA:

Studia stacjonarne (125 godz.)

Godziny kontaktowe = 60 godz.

Przygotowanie się do zajęć = 10 godz. Zapoznanie się ze wskazaną literaturą =10 godz. Przygotowanie raportu/sprawozdania = 15 godz. Konsultacje = 15 godz.

Przygotowanie się do egzaminu = 15 godz.

Studia niestacjonarne (125 godz.)

Godziny kontaktowe = 36 godz.

Przygotowanie się do zajęć = 22 godz. Zapoznanie się ze wskazaną literaturą = 12 godz. Przygotowanie raportu/sprawozdania = 20 godz. Konsultacje = 20 godz.

Przygotowanie się do egzaminu = 15 godz.

Wydział Elektrotechniki, Informatyki i Telekomunikacji Kierunek: Informatyka

7