Rozwój metod modelowania procesów produkcyjnych jest konieczny w związku z kosztochłonnością prototypowania takich procesów. Równie istotnym czynnikiemwpływającym na zapotrzebowanie w tej dziedzinie jest nakład pracy, jaki należy ponieść w celu weryfikacji poprawności prototypowanego procesu produkcyjnego.

Korzystnym wydaje się tu obiektowe podejście do modelowania procesów, jakie oferuje między innymi język UML. Obecnie istnieje szeroki wachlarz algorytmów i technik wspierających modelowanie.

Rozdziały:

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