Data Formalization in Transport System Modeling Using a Graph Database

The article discusses the problem of modeling a traffic flow using a graph database to describe movements. It is necessary to determine the format for working with data for modeling. There are several possible approaches, including formalization by kinematic formulas, finite state machines, or macroscopic models for describing road traffic and phantom traffic jams. The article hypothesizes that a description based on kinematic formulas is a priority, therefore, the study considers physical formulas, while restricting that the roadmap will not assume circular motion. Based on the research carried out, it is concluded that the hypothesis is correct. A brief experimental review of an alternative way of implementing modeling using Petri nets based on ready-made libraries is carried out.