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.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW