Modelowanie procesów produkcyjnych z wykorzystaniem diagramów aktywności języka UML i sieci Petriego

SPIS TREŚCI1. Wstęp1.1. Motywacja1.2. Teza, cele, zakres pracy1.3. Struktura pracy2. Wybrane zagadnienia dotyczące procesów produkcyjnych2.1. Wprowadzenie2.2. Proces produkcyjny i jego składowe2.3. Modelowanie procesów produkcyjnych3. Wybrane zagadnienia dotyczące języka UML3.1. Wprowadzenie3.2. Rozwój języka UML3.3. Język modelowania UML 2.03.4. Diagramy aktywności UML 2.03.5. Podsumowanie4. Wybranie zagadnienia dotyczące sieci Petriego4.1. Wprowadzenie4.2. Sieć Petriego4.3. Własności behawioralne sieci Petriego4.4. Analiza sieci Petriego4.5. Podsumowanie5. Semantyka zapisu diagramów UML i sieci Petriego a modelowanie procesów produkcyjnych6. Modelowanie, weryfikacja i modyfikacja procesów produkcyjnych z wykorzystaniem a-diagramów aktywności, a i s-sieci6.1. Wprowadzenie6.2. Metodologia modelowania, weryfikacji i modyfikacji procesów produkcyjnych6.3. Weryfikacja a-sieci i s-sieci6.4. Modyfikacja a-sieci i s-sieci6.5. Zaproponowana metoda w postaci algorytmu6.6. Podsumowanie7. Implementacja przykładowych procesów produkcyjnych7.1. Modelowanie procesu produkcyjnego na przykładzie ramki na zdjęcia7.2. Modelowanie procesu produkcyjnego na przykładzie obudowy separatora olejowego7.3. Modelowanie procesu produkcyjnego na przykładzie frezarko-kopiarki7.4. Podsumowanie8. Rezultaty badań8.1. Potwierdzenie tezy badań8.2. Elementy nowatorskie i autorskie8.3. Kierunki dalszych prac8.4. Wnioski9. Bibliografia