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

SPIS TREŚCI Wstęp 1.1. Motywacja 1.2. Teza, cele, zakres pracy 1.3. Struktura pracy Wybrane zagadnienia dotyczące procesów produkcyjnych 2.1. Wprowadzenie 2.2. Proces produkcyjny i jego składowe 2.3. Modelowanie procesów produkcyjnych 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 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 Semantyka zapisu diagramów UML i sieci Petriego a modelowanie procesów produkcyjnych 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 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 Rezultaty badań 8.1. Potwierdzenie tezy badań 8.2. Elementy nowatorskie i autorskie 8.3. Kierunki dalszych prac 8.4. Wnioski Bibliografia