Sieci Petriego

monograficzne

Zakładana jest znajomość algebry liniowej w zakresie przestrzeni i podprzestrzeni liniowych, rozwiązywania układów równań liniowych.

w sali

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.

W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku.

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.

1.W.Reisig, Petri Nets, Springer Verlag 1987

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.

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%.