Identyfikatory
Warianty tytułu
Modification methodology of nets illustrating the production process including quality control points
Języki publikacji
Abstrakty
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.
Wydawca
Czasopismo
Rocznik
Tom
Strony
320--323
Opis fizyczny
Bibliogr. 6 poz., rys., tab., wzory
Twórcy
autor
- Uniwersytet Zielonogórski, Wydział Elektrotechniki, Informatyki i Telekomunikacji, ul. prof. Z. Szafrana nr 2, 65-516 Zielona Góra, a.lasota@weit.uz.zgora.pl
Bibliografia
- [1] Banaszak Z., Kuś J., Adamski M.: Sieci Petriego. Modelowanie, sterowanie i synteza systemów dyskretnych, Zielona Góra: Wydawnictwo Wyższej Szkoły Inżynierskiej, 1993.
- [2] Karatkevich A.: Analiza współbieżnych systemów dyskretnych: zbiory uporczywe vs. symulacja współbieżna, Przegląd Elektrotechniczny, nr 7, ss. 182-184, 2009.
- [3] Karatkevich A.: Zagadnienia redukcji podsieci automatowych w sieciach Petriego. Przegląd Telekomunikacyjny i Wiadomości Telekomunikacyjne, nr 6, ss. 806-808, 2008 (V konf. naukowa KNWS'08).
- [4] Karatkevich A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Berlin Heidelberg New York: Springer LNCIS (356), 2007.
- [5] Karatkevich A.: Properties and analysis of-nets. Informatyka teoretyczna i stosowana, Rocznik 5, nr 8, ss. 53-64, 2005.
- [6] Zakrevskij A.: High-level design of logical control devices. Zakrevskij A. (ed.) Third Int. Conf. Computer-Aided Design of Discrete Devices, National Academy of Sciences of Belarus, Minsk, ss. 13-18, 1999.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BSW4-0099-0023