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

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