Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Identyfikatory
Warianty tytułu
Methodology of production process verification using Petri nets illustrated by case study of modeling production process milling-copier machine
Języki publikacji
Abstrakty
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.
Wydawca
Czasopismo
Rocznik
Tom
Strony
661--665
Opis fizyczny
Bibliogr. 16 poz., rys.
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] Baresi L., Pezz M.: On Formalizing UML with High-Level Petri Nets, Lecture Notes in Computer Science, Volume 2001/2001, ss. 276-304, 2001.
- [3] Ciszak O.: Komputerowo wspomagane modelowanie i symulacja procesów produkcyjnych, Poznań: Zeszyty Naukowe Politechniki Poznańskiej, nr 6, 2007.
- [4] Debasish K., Debasis S.: A novel approach to generate test cases from UML activity diagrams, Journal of Object Technology, Vol. 8, nr 3, ss. 65-83, May-June 2009.
- [5] Dubois D., Stecke K. E.: Using Petri nets to represent production processes, Decision and Control, The 22nd IEEE Conference on, ss. 1062–1067, 1983.
- [6] 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.
- [7] Karatkevich A.: Zagadnienia redukcji podsieci automatowych w sieciach Petriego, Przegląd Telekomunikacyjny i Wiadomości Telekomunikacyjne, nr 6, ss. 806-808, 2008 (V konferencja naukowa KNWS’08).
- [8] Karatkevich A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Berlin Heidelberg New York: Springer LNCIS (356), 2007.
- [9] Karatkevich A.: To behavior analysis of a class of Petri nets// Proceedings of WRTP’03, 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming, Łagów, 14-17.05.2003.- Elsevier Ltd, Oxford, UK, ss. 33-38, 2003.
- [10] Köhler M., Moldt D., Rölke H.: Modelling the structure and behaviour of Petri net agents. Springer-Verlag Berlin Heidelberg: LNCS 2075, pp. 224-241, 2001.
- [11] Lasota A.: Modelowanie produkcji za pomocą diagramów aktywności UML i α-sieci na przykładzie obudowy separatora olejowego. Metody Informatyki Stosowanej, nr 2, ss. 85-96, 2010.
- [12] Lasota A.: Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości. Pomiary Automatyka Kontrola, nr 3, ss. 320-323, 2011.
- [13] López-Grao J. P., Merseguer J., Campos J.: From UML Activity Diagrams To Stochastic Petri Nets: Application To Software Performance Engineering, Proceedings of the 4th international workshop on Software and performance – WOSP’04, New York, USA, 2004.
- [14] Murata T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77 (4), 541-580, 1989.
- [15] Valmari A.: State of the Art Report: STUBBORN SETS. Petri Net Newsletter, nr 46, ss. 6-14, 1994.
- [16] Zakrevskij A.: High-level design of logical control devices. Zakrevskij A. (ed.) Third International Conference 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-0102-0021