SPIS TREŚCI

1. Wstęp
1.1. Motywacja
1.2. Teza, cele, zakres pracy
1.3. Struktura pracy

2. Wybrane zagadnienia dotyczące procesów produkcyjnych
2.1. Wprowadzenie
2.2. Proces produkcyjny i jego składowe
2.3. Modelowanie procesów produkcyjnych

3. Wybrane zagadnienia dotyczące języka UML
3.1. Wprowadzenie
3.2. Rozwój języka UML
3.3. Język modelowania UML 2.0
3.4. Diagramy aktywności UML 2.0
3.5. Podsumowanie

4. Wybranie zagadnienia dotyczące sieci Petriego
4.1. Wprowadzenie
4.2. Sieć Petriego
4.3. Własności behawioralne sieci Petriego
4.4. Analiza sieci Petriego
4.5. Podsumowanie

5. Semantyka zapisu diagramów UML i sieci Petriego a modelowanie procesów produkcyjnych
6. Modelowanie, weryfikacja i modyfikacja procesów produkcyjnych z wykorzystaniem a-diagramów aktywności, a i s-sieci
6.1. Wprowadzenie
6.2. Metodologia modelowania, weryfikacji i modyfikacji procesów produkcyjnych
6.3. Weryfikacja a-sieci i s-sieci
6.4. Modyfikacja a-sieci i s-sieci
6.5. Zaproponowana metoda w postaci algorytmu
6.6. Podsumowanie

7. Implementacja przykładowych procesów produkcyjnych
7.1. Modelowanie procesu produkcyjnego na przykładzie ramki na zdjęcia
7.2. Modelowanie procesu produkcyjnego na przykładzie obudowy separatora olejowego
7.3. Modelowanie procesu produkcyjnego na przykładzie frezarko-kopiarki
7.4. Podsumowanie

8. Rezultaty badań
8.1. Potwierdzenie tezy badań
8.2. Elementy nowatorskie i autorskie
8.3. Kierunki dalszych prac
8.4. Wnioski

9. Bibliografia