Wyniki wyszukiwania - Biblioteka Nauki

1

Why ��activity diagrams, α-��-nets and s-nets are good models of production processes?

100%

Lasota A.

Przegląd Elektrotechniczny

|

2011

|

tom R. 87, nr 12a

40-43

EN

The paper proposes combined use of UML and Petri nets to model production processes which can be useful for designers of production processes in any area of industry. Modeling, analysis and verification of a wide range of parallel processes is important for the correct production process which should be cyclic. The formal verification allows to check whether the process is well-formed. The paper describes why transformation of α--activity diagram into �α--net is useful to modeling of production processes. Applying s-nets to modeling of such processes is also discussed.

PL

Połączenie dwóch znanych metod modelowania, języka UML i sieci Petriego, do modelowania procesów produkcyjnych pozwoli zintegrować grupy robocze reprezentujące odmienne dziedziny nauki poprzez jeden spójny język wymiany informacji. Modelowanie, analiza i weryfikacja współbieżnych procesów produkcyjnych ma na celu zapewnienie ich cyklicznej realizacji. Artykuł przedstawia dlaczego transformacja pomiędzy α-iagramem aktywności a α i s-sieciami jest użyteczna do modelowania procesów produkcyjnych.

2

Metodologia weryfikacji procesu produkcyjnego z wykorzystaniem sieci Petriego na przykładzie modelowania produkcji frezarko-kopiarki

100%

Lasota A.

Pomiary Automatyka Kontrola

|

2011

|

tom R. 57, nr 6

661-665

PL

Przedmiotem artykułu jest analiza skuteczności algorytmu weryfikacji procesów produkcyjnych. Zaproponowana metoda weryfikacji procesu oraz wskazane typy rozwiązań dla wykrytych błędów według autora przyczynią się do bezpieczniejszego specyfikowania i planowania przebiegu realizacji procesu produkcyjnego. Zasadność zaproponowanego podejścia została wykazana na przykładzie modelowania procesu produkcyjnego frezarko-kopiarki z wykorzystaniem diagramów aktywności UML oraz dwóch podklas sieci Petriego: s-sieci i α-sieci.

EN

The subject of the paper is analysis of the algorithm effectiveness of production processes verification. The proposed verification method (Section 3) and proposed types of solutions for faults (Section 4) according to the author will contribute to safer specifying and planning the implementation of a production process. The production process correct structure (Subsection 2.7) is a key condition for its implementation. Errors at the stage of the process modeling affect the process correctness. Introduction of intermediate quality control can additionally corrupt the process structure and requires its changes. Petri nets provide a convenient mathematical tool for verification of modeled processes (Section 2). Two classes of nets - the s-nets and its subclass α-nets - were selected as the most adequate for modeling the analyzed production processes [2, 3, 4, 7, 9]. To verify the correctness of the processes the "stubborn set method" and Andre method were proposed [1, 3, 4, 5, 8]. In order to depict the manner of the correc-tion of possible structural errors in a net, the paper describes a sample solution. The reasonableness of the proposed approach is shown on an example of modeling the production of a milling-copier machine (Section 4, Figs. 1-9). The area related to the milling-copier machine contains two main parts: the first is modeling the milling-copier machine production process and the second is modeling the copied process mapping.

3

Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości

100%

Lasota A.

Pomiary Automatyka Kontrola

|

2011

|

tom R. 57, nr 3

320-323

PL

Artykuł pokazuje jaki wpływ na poprawność procesu produkcyjnego ma wprowadzenie do jego realizacji punktów kontroli jakości. Weryfikacja oddziaływania tych zmian w procesach realizowanych współbieżnie odbywa przy wykorzystaniu sieci Petriego. Pośrednia kontrola jakości może przyczynić się do powstania błędów w strukturze procesu. W celu zobrazowania sposobu korekcji możliwych błędów behawioralnych sieci w pracy zaproponowano przykładowe rozwiązania poprzez wskazanie metodologii modyfikacji sieci.

EN

Quality control in the production process is one of the key moments and is compulsory, since it determines the quality of the completed product. The paper shows how the quality control accomplishment affects the process correctness. Indirect control of the quality may cause errors in the structure of the process. Convenient way to verify the behavioral correctness of the production process is its modeling by Petri nets. In order to depict the manner of the correction of possible errors in the paper the sample solutions are demonstrated. Studies have shown that Petri nets are a convenient tool for validation of behavioral correctness of the production processes. For carrying on the analysis it was necessary to propose modifications of the nets. The methodology adopts two input sets of data. The first one corresponds to Petri nets with single-token initial marking, called s-nets, while the second is -nets (s-nets belong to the class of extended free-choice nets). In the proposed method it is required to restart execution of the process, in the case of detection of deviations from the quality standards. Such restarting is implemented through the introduction of the additional transitions, which move tokens from the critical places to the initially marked place.

4

Modelowanie produkcji za pomoca diagramów aktywnosci UML i α-sieci na przykładzie obudowy separatora olejowego

100%

Lasota A.

Metody Informatyki Stosowanej

|

2010

|

tom nr 2 (23)

85-96

PL

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ć.

EN

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.

5

Modification of Petri nets modeling production processes when quality control is introduced

100%

Lasota A. , Karatkevich A.

Przegląd Elektrotechniczny

|

2011

|

tom R. 87, nr 11

164-168

EN

Petri nets can be used as a model of production processes, as far as such processes often contain the steps which can be executed in parallel. Such modeling can serve for optimization and verification of production processes, because a wide range of existing methods of Petri net analysis can be applied. Adding to a production process the steps in which quality control is performed requires changes in the modeling net to keep it well-formed. Such modifications are the topic of the article. The production processes are modeled by s-nets and α��-nets.

PL

Sieci Petriego, jako formalny model procesów współbieżnych, doskonale nadają się do optymalizacji i weryfikacji procesów produkcyjnych. Wykorzystane w tym celu metody redukcji oraz analizy sieci pozwalają zbadać czy sieć jest dobrze zbudowana a tym samym czy proces produkcyjny będzie poprawnie realizowany również po wprowadzeniu pośrednich punktów kontroli jakości w wyniku czego może wystąpić konieczność przeprowadzenia modyfikacji. Do odwzorowania rzeczywistych procesów produkcyjnych zastosowane zostały s i α��-sieci.