Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Lasota A.

2 2011

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: alpha-nets

Sortuj według:

Ogranicz wyniki do:

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

Lasota A.

Pomiary Automatyka Kontrola

2011

R. 57, nr 6

661-665

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.

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.

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

Lasota A.

Pomiary Automatyka Kontrola

2011

R. 57, nr 3

320-323

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.

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.