Wynik realizacji procesu produkcyjnego, w celu zobrazowania został przedstawiony za pomoca α-diagramu aktywności, α-sieci oraz został poddany analizie za pomoca metody „upartych zbiorów” oraz metody Andre. Niezbędnym jest by modelowane procesy produkcyjne za pomocą diagramów aktywności UML posiadały pełną dokumentację technologiczną, ponieważ przedstawiony model nie jest odzwierciedleniem modelowanego obiektu, lecz jego obrazem, który pozwala poznać najistotniejsze elementy procesu produkcji. Diagramy aktywności skupiają się na opisie procesu, w którym uczestniczy wiele obiektów procesu bez wskazywania, jakie są możliwe stany tych obiektów. Zaproponowana metoda specyfikacji rzeczywistego procesu produkcyjnego oraz analizy jego modelu pozwala uzyskać obraz jego realizacji i uzyskać informacje co do jego poprawności. Metody analizy α- sieci są odpowiednim aparatem matematycznym do weryfikacji poprawności realizacji procesów produkcyjnych ze względu na adekwatność strukturalną procesów produkcyjnych do diagramów aktywności a tym samym do α-sieci. Niezbędnym do przeprowadzenia pełnej analizy zaproponowanej metody jest określenie jej efektywności. Interdyscyplinarne podejście do problemu narzuciło konieczność wskazania formalnych i nieformalnych kryteriów efektywności co będzie objęte szczegółową analizą w przyszłości. Wstępne rozpoznanie adekwatności weryfikacji pod kątem efektywności zaproponowanej metody ze wzgledów formalnych wskazało, iż takim kryterium odpowiednim będzie czas. Jako nieformalne kryterium uznana została przejrzystość i czytelność specyfikacji na poszczególnych poziomach abstrakcji oraz łatwość modelowania. Modelowanie z wykorzystaniem UML i PN różni się funkcjonalnościami i możliwościami, ale oba języki modelowania moga opisywać procesy produkcyjne ponieważ α-sieci posiadają strukturę podobną do α-diagramów aktywności w opisie i implementacji. Łączne zastosowanie UML i PN pomaga prototypować, integrować modelowanie procesów produkcyjnych i je weryfikować.
In this article we show reasons of using the UML activity diagrams for modeling production processes. Structure of the production processes and UML activity diagrams is similar to structure of α-nets, and that’s why transformation is possible between them. Cooperation between mechanical and computer engineers while modeling and verification of production processes demonstrates that „stubborn set method” and Andre method are useful for analysis. The proposed approach is illustrated in the paper by analysis of an oil separator box production process.