Modeling of Passenger Rail Transport in the Zamość Region Using Multi-Instancely Marked Petri Nets over Ontological Graphs
Year: 2024
Type: article
Abstract: 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.
DOI: 10.56583/br.2739
Author: Krzysztof Pancerz
Institution: John Paul II Catholic University of Lublin
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4407296245