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

• Autorzy: Lasota A. , Karatkevich A.

Warianty tytułu

PL

Modyfikacje sieci Petriego modelujących procesy produkcyjne po wprowadzeniu punktów kontroli jakości

• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

Petri nets; α-nets; s-nets; production process; electrical technology; electrical power engineering

PL

sieci Petriego; α-sieci; s-sieci; proces produkcyjny; elektrotechnika; elektroenergetyka

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2011
• Tom: R. 87, nr 11
• Strony: 164--168
• Opis fizyczny: Bibliogr. 17 poz., il., tabl., wykr.

Twórcy

autor

Lasota A.

autor

Karatkevich A.

• Uniwersytet Zielonogórski, Wydział Elektrotechniki Informatyki i Telekomunikacji, Instytut Informatyki i Elektroniki, ul. prof. Z. Szafrana nr 2, 65-516 Zielona Góra,

Bibliografia

• [1] Banaszak Z., Kuś J., Adamski M., Sieci Petriego. Modelowanie, sterowanie i synteza systemów dyskretnych, Wydawnictwo Wyższej Szkoły Inżynierskiej, Zielona Góra, 1993
• [2] Murata T., Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, nr 77, 1989, 541–580
• [3] Szpyrka, M., Sieci Petriego w modelowaniu i analizie systemów współbieżnych. Warszawa: WNT, 2008
• [4] Lasota A., Modelowanie produkcji za pomocą diagramów aktywności UML i ?-sieci na przykładzie obudowy separatora olejowego”, Metody Informatyki Stosowanej, nr 2, 2010, 85—96
• [5] Lasota A., Karatkevich A., Modeling of production processes using UML and Petri nets, Preprints of the 4th IFAC Workshop on Discrete-Event System Design - DESDes ‘09, Gandia Beach, Hiszpania, 2009, 247-252
• [6] Dubois D., Stecke K. E., Using Petri nets to represent production processes, Decision and Control, The 22nd IEEE Conference on, 1983, 1062 – 1067
• [7] Sadiq W., Orlowska M. E., Applying graph reduction techniques for identifying structural conflicts in process models, LNCS, Volume 1626/1999, 1999, 195-209
• [8] Baresi L., Pezz M., On Formalizing UML with High-Level Petri Nets, Lecture Notes in Computer Science, Volume 2001/2001, 2001, 276-304
• [9] 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
• [10] Debasish K., Debasis S., A novel approach to generate test cases from UML activity diagrams, Journal of Object Technology, Vol. 8, nr 3, May-June 2009, 65-83
• [11] Karatkevich A., To behavior analysis of a class of Petri nets, Proceedings of 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming - WRTP'03, Łagów, Polska, 2003,- Elsevier Ltd, Oxford, UK, 2003, 33-38
• [12] Karatkevich A., Dynamic Analysis of Petri Net-Based Discrete Systems. LNCIS (356), Berlin Heidelberg: Springer, 2007
• [13] Zakrevskij A., High-level design of logical control devices, Third International Conference Computer-Aided Design of Discrete Devices – CAD DD’99, Minsk, Belarus, 1999, 13-18
• [14] Valmari A., State of the Art Report: STUBBORN SETS, Petri Net Newsletter, nr 46, 1994, 6–14
• [15] Karatkevich A., Zagadnienia redukcji podsieci automatowych w sieciach Petriego, Przegląd Telekomunikacyjny i Wiadomości Telekomunikacyjne, nr 6, 2008, 806-808
• [16] Karatkevich A., Minimized Representation of State Machine Subnets of Petri Nets, Proceedings of the Seventh International Conference on Computer-Aided Design of Discrete Devices CAD DD’2010, Minsk, Belarus, 2010, 65-72
• [17] Kovalyov A.V., Concurrency Relations and the Safety Problem for Petri Nets, Proceedings of 13th International Conference on Application and Theory of Petri Nets – ATPN’92, Sheffield, UK, 1992,- LNCS (161), Berlin Heidelberg: Springer-Verlag, 1992, 299-309