Skala redukcji sieci a weryfikacja procesu produkcyjnego

• Autorzy: Lasota A.

Warianty tytułu

EN

Optimal scale of reduction of modelling Petri nets is the topic of this paper

• Języki publikacji: PL

Abstrakty

EN

Discrete production processes can be represented by UML activity diagrams and then modeled by Petri nets for their formal verification. Behavioral properties of a production process can be verified with the help of reduction of modelling Petri net. But sometimes when reduction is too deep, we cannot see why a production process does not have needed properties (for example, why it is not cyclic or not safe). Optimal scale of reduction of modelling Petri nets is the topic of this paper.

Słowa kluczowe

PL

redukcja sekwencyjna; redukcja równoległa; sieci Petriego; proces produkcji

EN

sequential reduction; parallel reduction; Petri nets; production process

• Wydawca: Komisja Informatyki Polskiej Akademii Nauk, Oddział w Gdańsku
• Czasopismo: Metody Informatyki Stosowanej
• Rocznik: 2011
• Tom: nr 2
• Strony: 65--79
• Opis fizyczny: Bibliogr. 29 poz., rys.

Twórcy

autor

Lasota A.

• Uniwersytet Zielonogórski; Wydział Elektrotechniki, Informatyki i Telekomunikacji

Bibliografia

• [1] Dubois D., Stecke K. E.: Using Petri nets to represent production processes, Decision and Control, The 22nd IEEE Conference on, 1983, s. 1062 – 1067
• [2] Starke P. H.: Sieci Petri: Podstawy – Zastosowania - Teoria, Państwowe Wydawnictwo Naukowe, Warszawa, 1987
• [3] Żuk J., Knast P.: Modelowanie procesów technologicznych montażu za pomocą sieci Petriego, Wydawnictwo Politechniki Poznańskiej, Poznań, 1998
• [4] M. Adamski, M. Chodań.: Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC, Wydawnictwo Politechniki Zielonogórskiej, Zielona Góra, 2000
• [5] Mrozek Z.: Komputerowo wspomagane projektowanie systemów mechatronicznych., Inżynieria Elektryczna i Komputerowa, Wydawnictwo Politechniki Krakowskiej, Kraków, 2002
• [6] Ciszak O., Komputerowo wspomagane modelowanie i symulacja procesów produkcyjnych, Poznań: Zeszyty Naukowe Politechniki Poznańskiej, nr 6, 2007
• [7] Silva M., Valette R.: Petri nets and flexible manufacturing. Lecture Notes in Computer Science, Volume 424/1990, 1990, s. 374-417
• [8] Brzeziński M.: Organizacja i sterowanie produkcją, Wydawnictwo Placet, Warszawa, 2002
• [9] Durlik I.: Inżynieria zarządzania, część I i II, Wydawnictwo Placet, Warszawa 2005
• [10] Bednarz L.: Planowanie zadań i zasobów w projektach logistycznych metodą łańcucha krytycznego, XII Konferencja Komputerowo Zintegrowane Zarządzanie, Zakopane, styczeń 2009; http://www.ptzp.org.pl/files/konferencje/kzz/artyk_pdf_2009
• [11] Karatkevich A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Springer LNCIS (356), Berlin Heidelberg New York, 2007
• [12] Zurawski R., Zhou M.: Petri nets and industrial applications: A tutorial., IEEE. Transactions on industrial electronics, vol. 41, no. 6, December, 1994
• [13] Ciszak O., Żurek J.: Propozycja metodyki wyboru wariantu procesu technologicznego montażu z wykorzystaniem metody Baasa i Kwakernaaka., Technologia i Automatyzacja Montażu, nr 3/2002, 2002, s. 25-28
• [14] Mazur K. P.: Modelowanie procesu produkcyjnego w przedsiębiorstwie., Postępy Techniki Przetwórstwa Spożywczego, nr 2/2007, Warszawa, 2007, s. 103-107
• [15] Pokojski J.: Metoda case-based reasoning a model procesu projektowego i produktu w budowie maszyn., Przegląd mechaniczny, nr 6/2004, 2004 s. 23-27
• [16] Bazydło G.: Graficzna specyfikacja programów dla rekonfigurowalnych sterowników logicznych z wykorzystaniem języka UML., Rozprawa doktorska, Wydział Elektrotechniki, Informatyki i Telekomunikacji, Uniwersytet Zielonogórski, Zielona Góra, 2009
• [17] Setlak G.: Zastosowanie sieci neuronowych Kohonena w projektowaniu modułowej technologii montażu, Technologia i automatyzacja montażu, nr 4/2003, ss. 2-5, 2003.
• [18] Korbicz J., Patan K., Obuchowicz A.: Dynamic neural networks for process modelling in fault detection and isolation systems., International Journal of Applied Mathematics and Computer Science, Vol. 9, nr 3, 1999 s. 519—546
• [19] Banaszak Z., Majdzik P., Wójcik R.: Procesy współbieżne. Modele efektywności funkcjonowania, Wydawnictwo Politechniki Koszalińskiej, Koszalin, 2008.
• [20] 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 s. 247-252
• [21] Lasota A.: Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości. Pomiary Automatyka Kontrola, nr 3, 2011, s. 320-323
• [22] 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, s. 237-242
• [23] Zakrevskij A.: High-level design of logical control devices., Third International Conference Computer-Aided Design of Discrete Devices – CAD DD’99, Minsk, Belarus, 1999, s. 13-18
• [24] Reisig W.: Sieci Petriego. Wprowadzenie, Wydawnictwa Naukowo–Techniczne, 1988
• [25] Szpyrka M.: Sieci Petriego w modelowaniu i analizie systemów współbieżnych, Inżynieria Oprogramowania, Wydawnictwa Naukowo-Techniczne, 2008
• [26] Banaszak Z., Kuś J., Adamski M.: Sieci Petriego: Modelowanie, Sterowanie i Synteza Systemów Dyskretnych, Wydawnictwo Wyższej Szkoły Inżynierskiej, 1993
• [27] Murata T.: Petri Nets: Properties, Analynais and Aplications., Proceeding of the IEEE, Vol. 77, No. 4, 1989, s. 541-580
• [28] Valmari A.: State of the Art Report: STUBBORN SETS, Petri Net Newsletter 46, 1994, s. 6-14
• [29] Lasota A.: Why W-activity diagrams, --nets and s-nets are good models of production processes?, International Interdisciplinary PhD Workshop I2PhDW2011, Zielona Góra, 2011, s.159-160