Modeling a system determining the fastest way to get from one point to another by public transport

This article describes the logic model of an application for moving from one point to another using different types of transport. The presented models aim to describe the structure of the application, and some of them are used to describe the behavior of the system. An important point in the modeling and implementation of the application is the accurate mapping of the stops of the various types of public transport and the timetable of their transport lines. The presence of a GPS receiver in vehicles allows for dynamic changes in travel time, which in turn can influence the choice of option/route for moving from one point to another.