Abstract
A formulation of a model of multilane traffic using Markov renewal theory is presented. The model considers the movements of individual vehicles within a given environment that is described by a bivariate probability distribution of platoon lengths and speeds. Outputs of the model will include average vehicle speed, vehicle delay, and lane changing intensities and patterns. The basic framework presented will accept any sets of vehicle behavioral rules and is valid for any number of lanes.