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

• Autorzy: Lasota A.

Warianty tytułu

PL

Dlaczego �α-diagramy aktywności, �α-sieci i s-sieci są właściwe do modelowania procesów produkcyjnych

• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

production processes; α-activity diagrams; s-nets; α-nets; electrical technology; electrical power engineering

PL

procesy produkcyjne; diagramy aktywności; s-sieci; α-sieci; elektrotechnika; elektroenergetyka

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2011
• Tom: R. 87, nr 12a
• Strony: 40--43
• Opis fizyczny: Bibliogr. 15 poz., il., tabl., wykr.

Twórcy

autor

Lasota A.

• University of Zielona Gora, Faculty of Electrical Engineering, Computer Science and Telecommunication, Institute of Computer Engineering and Electronics, ul. prof. Z. Szafrana nr 2, 65-516 Zielona Góra,

Bibliografia

• [1] Petri C. A., Communication with automata., Technical Raport no. RADC-TR-65-377, Suplement I, 1963
• [2] Dubois D., Stecke K. E., Using Petri nets to represent production processes, Decision and Control, The 22nd IEEE Conference on, 1983, 1062 – 1067
• [3] Hack M., Analysis of Production Schemata by Petri Nets, Technical Report, Massachusetts Institute of Technology Cambridge, MA, USA, 1972
• [4] Murata T., Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, nr 77, 1989, 541–580
• [5] Bastos R. M., Ruiz D.D.A, Extending UML Activity Diagram for Workflow Modeling in Production Systems, Proceedings of the 35th Hawaii International Conference on System Sciences, IEEE, 2002.
• [6] Fengler W., Pacholik A., Mologina M., Modeling technique for model based error localization and error removal based on extended UML activity diagrams., Preprints of the 3th IFAC Workshop on Discrete-Event System Design - DESDes '09, Rydzyna, Polska, 65-72, 2006, 65-72
• [7] Spitteri Staines T., Iniuitive Mapping of UML 2 Activity Diagram into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Net, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2008, 191-200
• [8] UML Superstructure Specification (2005). v2.0, OMG, http://www.omg.org/docs/formal/05-07-04.pdf
• [9] Karatkevich A., Dynamic Analysis of Petri Net-Based Discrete Systems. LNCIS (356), Berlin Heidelberg: Springer, 2007
• [10] 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
• [11] 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
• [12] 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
• [13] Lasota A. Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości. Pomiary Automatyka Kontrola, nr 3, 2011, 320-323
• [14] Lasota A. Metodologia weryfikacji procesu produkcyjnego z wykorzystaniem sieci Petriego na przykładzie modelowania produkcji frezarko-kopiarki, VIII Konferencja Naukowa Informatyka Sztuka czy Rzemiosło KNWS’11, Karpacz, 2011, 237-242
• [15] Lasota A., Karatkevich A. Modification of Petri nets modeling production processes when quality control is introduced. VIII Konferencja Naukowa Informatyka Sztuka czy Rzemiosło KNWS’11, Karpacz, 2011