Modeling of Passenger Rail Transport in the Zamość Region Using Multi-Instancely Marked Petri Nets over Ontological Graphs
Modeling of Passenger Rail Transport in the Zamość Region Using Multi-Instancely Marked Petri Nets over Ontological Graphs

Summary/Abstract: The article discusses the possibility of using Petri nets over ontological graphs to model passengerrail transport in the Zamość region. Petri nets are a mathematical and graphical tool for modelingthe structure and dynamics of systems. The Petri net model, proposed for use, also takes into accountthe semantics of the system elements (e.g., the classes of trains run by carriers). The structure of thepassenger rail transport system includes primarily railway lines and passenger rail infrastructurefacilities (railway stations and passenger stops). The dynamics of the passenger rail transport systemis the movement of trains on railway lines. The approach proposed in the article adopts a higher levelof modeling abstraction, which can be made more detailed in further research, primarily by taking intoaccount time dependencies.

• Details
• Contents