Analiza systemu transportowego z wykorzystaniem sieci Petriego

W pracy poruszono problem analizy funkcjonowania systemu transportu miejskiego. Badanie niezawodności tego typu złożonych systemów powinno dodatkowo uwzględnić szereg zagadnień. Jednym z nich jest zawodność elementów wsparcia logistycznego, zdefiniowana jako możliwość pojawienia się braku elementów wymiennych w zapasie, w chwili i miejscu gdy wystąpi na nie zapotrzebowanie. Taka sytuacja może doprowadzić do pogorszenia się charakterystyk eksploatacyjnych systemu wspieranego. Dlatego też oba systemy, wspierany i wspierający, powinny być wspólnie modelowane. Jednakże, uwzględnienie wszystkich parametrów strukturalnych systemów (np. rezerwowanie, zdolność operacyjna systemu obsługi) oraz zmiennych losowych (np. poziom zapasów części wymiennych, parametry polityki obsługiwania, rezerwa czasowa) w jednym modelu jest zadaniem trudnym z matematycznego punktu widzenia. Dlatego też, w artykule zastosowano model sieci Petriego oraz procesy symulacji Monte Carlo. Ponadto, w artykule przedstawiono porównanie wyników teoretycznych oraz uzyskanych z procesu funkcjonowania rzeczywistego systemu komunikacji miejskiej.

The paper considers problem of city transportation system performance. Reliability analysis of such a complex system is complicated by several factors. One of them is the possibility of logistic support elements unreliability defined as unavailability of spare elements when desired, what in result may lead to decrease of performance of the system being supported. Thus, both systems must be considered in a single model. However, the simultaneous setting of all structural parameters (e.g. redundancy, repair shop capacity) and control variables (e.g. spare part inventory levels, maintenance policy parameters, time resource) is mathematically a hard problem. This paper investigates Petri net model of the system with the use of Monte Carlo simulation as a solution technique. Comparison of the simulation results with characteristics of real-life system is given.