In the present work we model multi-lane traffic flow in presence of two population of vehicles: cars and trucks. We first develop a finite-dimensional hybrid system which rely on continuous Bando-Follow-the-Leader dynamics coupled with discrete events motivated by the lane-change maneuvers. Then we rigorously prove that the mean-field limit is given by a system of Vlasov-type PDE with source terms generated by the lane-change maneuvers of the human-driven vehicles.