Wykorzystanie teorii sieci Petriego w procesie odtwarzania gotowości bojowej statków powietrznych

• Autorzy: Sokołowski Wojciech , Ficoń Krzysztof , Zięcina Marcin

Identyfikatory

DOI

10.5604/01.3001.0016.1921

• Języki publikacji: PL

Abstrakty

PL

W pracy zostały zarysowane uwarunkowania i perspektywy wykorzystania wybranych elementów teorii sieci Petriego do modelowania procesów odtwarzania gotowości bojowej (przedstartowej) bojowych statków powietrznych. We wstępie przedstawiono definicje tytułowych pojęć i terminów determinujących strukturę i funkcjonalności budowanego modelu. Ze względu na skomplikowany i niezbyt popularny aparat matematyczny sieci Petriego szczegółowo omówiono zasady budowy tych sieci oraz stosowaną notację formalną eksponującą takie terminy jak: zbiór miejsc (stanów), zbiór stanów (tranzycie) oraz znaczniki (tokeny). Do modelowania procedur odtwarzania gotowości bojowej statków powietrznych wykorzystano teoretyczny aparat sieci Petriego. Główna teza pracy głosi możliwość wykorzystania aparatu logiczno-matematycznego sieci Petriego do badania złożonych, czasowo-przestrzennych procesów współbieżnych, które mogą być wykonywane równolegle i jednocześnie. Jak wynika z przeprowadzonych analiz nawet stosunkowo prosty 2-stanowy model odtwarzania bojowej statku powietrznego jednoznacznie wykazał praktyczną użyteczność sieci Petriego do analizowania rzeczywistych systemów i obiektów współbieżnych.

Słowa kluczowe

PL

sieci Petriego; statki powietrzne; gotowość bojowa

• Wydawca: Akademia Marynarki Wojennej im. Bohaterów Westerplatte
• Czasopismo: Rocznik Bezpieczeństwa Morskiego
• Rocznik: 2022
• Tom: XVI
• Strony: 1--23
• Opis fizyczny: Bibliogr. 20 poz.

Twórcy

autor

Sokołowski Wojciech

• Faculty of Command and Naval Operations, Polish Naval Academy, Gdynia, Poland

• https://orcid.org/0000-0002-5377-4961

autor

Ficoń Krzysztof

• Faculty of Command and Naval Operations, Polish Naval Academy, Gdynia, Poland

• https://orcid.org/0000-0002-9153-474X

autor

Zięcina Marcin

• Faculty of Command and Naval Operations, Polish Naval Academy, Gdynia, Poland

• https://orcid.org/0000-0002-0669-7051

Bibliografia

• 1. Leksykon naukowo-techniczny, WNT, Warszawa 1984.
• 2. Encyklopedia popularna, PWN, Warszawa 2011.
• 3. Sołkiewicz H. (red.), Operacyjno-taktyczny leksykon morski, T2., AMW, Gdynia 2012.
• 4. NATO, STANAG 3430 – Responsibilities for aircraft cross-servicing.
• 5. Ficoń K., Requirements engineering as the foundation for the success of substantial shipbuilding projects, “Scientific Journal of the Military”, Nr 3(189), 2018, Volume 50, Wrocław 2018.
• 6. Mitkow S., Analiza potrzeb logistycznych statków powietrznych, ZN SLW nr 28, Warszawa 2003.
• 7. Deo N., Teoria grafów i jej zastosowania w technice i informatyce, PWN, Warszawa 1980.
• 8. Zaborowski M., Reguły stosowania sieci Petriego do modelowania systemów zarządzania, Rozdział 1.4, [w] Kwiecień A., Wódz K. (red.), Techniczne i społeczne problemy zastosowania Internetu, Wydaw. Komunikacji i Łączności, Warszawa 2005.
• 9. Szpyrka M., Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT, Warszawa 2008.
• 10. Petri C.A., Kommunikation mit automaten, Institut fur Instrumentelle Mathematik, Rheinisch-Westfälisches Institut f. instrumentelle Mathematik an d. Univ., Bonn 1962.
• 11. Suraj Z., Komarek B., GRAF. System graficznej konstrukcji i analizy sieci Ptriego, Akademicka Oficyna Wydawnicza PLJ, Warszawa, 1994.
• 12. Kulikowski J.L., Zarys teorii grafów. Zastosowania w technice, PWN, Warszawa 1986.
• 13. Berge C., Graphs and Hypergraphs, Amsterdam: North-Holland Pub. Co., Amsterdam 1973.
• 14. Reisig W., Sieci Petriego. Wprowadzenie, WNT, Warszawa 1988.
• 15. Chrabski B., Zmitrowicz K., Inżynieria wymagań w praktyce, PWN, Warszawa 2014.
• 16. Skorupski J., Sieci Petriego jako narzędzie do modelowania procesów ruchowych w transporcie, Prace Naukowe z. 78/2011, Transport, Warszawa 2011.
• 17. Ficoń K., Badania operacyjne stosowane. Modele i aplikacje, BEL Studio, Warszawa 2006.
• 18. Starke P.H., Sieci Petri – podstawy, zastosowania, teoria, PWN, Warszawa, 1987.
• 19. Ficoń K., Trzynaście wykładów z logistyki, BEL Studio, Warszawa 2017.
• 20. Pasamonik P., Modelowanie procesów biznesowych zorientowane na czynności, Zeszyty Naukowe WSInf Vol 9, Nr 2, 2010.

Uwagi

Opracowanie rekordu ze środków MEiN, umowa nr SONP/SP/546092/2022 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2022-2023).