1: \begin{abstract}

2: The mathematical approaches for modeling dynamic traffic can roughly be divided into two categories: discrete

3: \emph{packet routing models} and continuous \emph{flow over time models}. Despite very vital research activities on

4: models in both categories, the connection between these approaches was poorly understood so far. In this work we build

5: this connection by specifying a (competitive) packet routing model, which is discrete in terms of flow and time, and by

6: proving its convergence to the intensively studied model of flows over time with deterministic queuing. More precisely,

7: we prove that the limit of the convergence process, when decreasing the packet size and time step length in the packet

8: routing model, constitutes a flow over time with multiple commodities. In addition, we show that the convergence result

9: implies the existence of approximate equilibria in the competitive version of the packet routing model. This is of

10: significant interest as exact pure Nash equilibria, similar to almost all other competitive models, cannot be guaranteed

11: in the multi-commodity setting.

12: 

13: Moreover, the introduced \emph{packet routing model with deterministic queuing} is very application-oriented as it is

14: based on the network loading module of the agent-based transport simulation MATSim. As the present work is the first

15: mathematical formalization of this simulation, it provides a theoretical foundation and an environment for provable

16: mathematical statements for MATSim.

17: 

18: \end{abstract}

19: