MODELOWANIE PROCESÓW PRODUKCYJNYCH Z WYK.DIAGRAMÓW AKTYWNOŚCI…

SPIS TREŚCI

1. Wstęp 7
1.1. Motywacja 8
1.2. Teza, cele, zakres pracy 9
1.3. Struktura pracy 11

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

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

4. Wybrane zagadnienia dotyczące sieci Petriego 31
4.1. Wprowadzenie 31
4.2. Sieć Petriego 33
4.3. Własności behawioralne sieci Petriego 35
4.4. Analiza sieci Petriego 37
4.5. Podsumowanie 41

5. Semantyka zapisu diagramów UML i sieci Petriego a modelowanie procesów produkcyjnych 42

6. Modelowanie, weryfikacja i modyfikacja procesów produkcyjnych z wykorzystaniem a-diagramów aktywności, a i s-sieci 45
6.1. Wprowadzenie 45
6.2. Metodologia modelowania, weryfikacji i modyfikacji
procesów produkcyjnych 47
6.3. Weryfikacja a-sieci i s-sieci 49
6.4. Modyfikacja a-sieci i s-sieci 52
6.5. Zaproponowana metoda w postaci algorytmu 62
6.6. Podsumowanie 64

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

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

9. Bibliografia 100