Sieci Petriego jako narzędzie do modelowania procesów ruchowych w transporcie

• Autorzy: Skorupski J.

Warianty tytułu

EN

Petri nets as a tool for modeling traffic processes in transport

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono metodę modelowania procesów ruchowych w transporcie, pod kątem analizy poziomu bezpieczeństwa, wykorzystującą sieci Petriego. Pokazano sposób interpretacji zdarzeń i zjawisk ruchowych pozwalający na zastosowania odpowiedniego typu sieci, które zostały pokrótce omówione. Wskazano na te własności sieci Petriego, które w sposób szczególny pozwalają na analizę wybranych charakterystyk badanych systemów transportowych. Omówiono kwestię tworzenia grafu osiągalności oraz jego redukcji. Zaproponowane oryginalne metody redukcji grafu osiągalności pozwalają na znaczne zmniejszenie obszaru analizy bez utraty istotnych cech modelowanego systemu. Własność ta stanowi o efektywności metody i łatwości jej stosowania. Opracowanie dopełnia krótki przykład zastosowania metody.

EN

In the paper a method of modeling traffic processes in transport is presented. Petri nets are used and modeling is carried out for safety analysis. The paper shows the way of interpretation of traffic events and phenomena, which allows use of the appropriate types of networks that were briefly discussed. The existence of properties of Petri nets, which specifically allow an analysis of selected characteristics of the transport systems, was indicated. The issue of creation of the reachability graph and its reduction was also discussed. The proposed, original method of reducing the reachability graph allows a significant reduction in the area of analysis without losing the essential characteristics of the modeled system. This feature makes for efficiency and ease of use of the method. The paper is completed with a brief example of the method application.

Słowa kluczowe

PL

modelowanie procesów ruchowych; sieci Petriego; bezpieczeństwo systemów transportowych

EN

traffic processes modeling; Petri nets; safety of transport systems

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2011
• Tom: z. 78
• Strony: 69--84
• Opis fizyczny: Bibliogr. 10 poz., rys., tab.

Twórcy

autor

Skorupski J.

• Politechnika Warszawska, Wydział Transportu

Bibliografia

• 1. Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. Springer Verlag 1997.
• 2. Majzner P., Piszczek W.: Investigation of vessel traffic processes at waterway intersections, Scientific Journals Maritime University of Szczecin, vol. 21(93)/2010, p. 62-66. Szczecin 2010.
• 3. Marsan M. A., Balbo G., Conte G., Donatelli S., Franceschinis G.,: Modelling with generalized stochastic Petri Nets, Universita degli Studi di Torino, Dipartamento d’Informatica, 1999.
• 4. Sistla A.P., Godefroid P.: Symmetry and reduced symmetry in model checking, ACM Transactions in Programming Languages Systems, vol. 26(4)/2004, p. 702-734.
• 5. Skorupski J.: Koncepcja wymiarowania bezpieczeństwa operacji lotniczych w krótkim horyzoncie czasowym, w: Zintegrowany system bezpieczeństwa transportu, T.2. Uwarunkowania rozwoju integracji systemów bezpieczeństwa transportu (ISBN 987-83-206-1760-3), p. 167-173 (rozdz. 5.2), Wydawnictwa Komunikacji i Łączności WKŁ, Warszawa 2009.
• 6. Skorupski J.: Analysis of the relation between serious incident and accident in air traffic, Logistics and Transport (ISSN 1734-2015) No. 2/2010, pp. , Wrocław 2010.
• 7. Skorupski J.: The problem of determining traffic volume in a restricted traffic area, Scientific Journals Maritime University of Szczecin (ISSN 1773-8670), vol. 21(93)/2010, pp. 77-82, Szczecin 2010.
• 8. Skorupski J.: Symulacyjna analiza zależności między poważnym incydentem a wypadkiem w ruchu lotniczym, Logistyka (ISSN 1231-5478) No. 4/2010, Instytut Logistyki i Magazynowania, Pozna , 2010.
• 9. Skorupski J.: Modelling of Traffic Incidents in Transport, w: Transport Systems and Processes, Elsevier 2011 (w druku).
• 10. Szpyrka M.: Sieci Petriego w modelownaiu i analizie systemów współbieżnych, WNT, Warszawa 2008.