Modeling a bus network for passengers transportation management using colored Petri nets and (max, +) algebra

:The purpose of this paper is to model and evaluate the performances of a bus network using Colored Petri Nets (CPN) and (max, +) Algebra. Our main contribution is to describe CPN with (max, +) equations in order to evaluate buses timetables and also boarding, disembarking and waiting times of passengers. Furthermore, the influence of buses limited capacity on passengers waiting times is studied. Simulation results will illustrate the applicability of the proposed methodology.