The primary objective of this article is to formalize the “special bus lanes within the area of intersection” method that allows providing buses with space-time priority at signalized intersections (mostly of the isolated type), including those with no more than two traffic lanes in each direction at the approaches to the intersection. The article establishes the limits for efficient application of this method, and describes the results of a simulation experiment conducted in the VISSIM environment to investigate the functioning of the method on an actual intersection. The most critical phase of implementation of this method is to determine the optimum length of the special bus lane at the approach to the intersection. The optimum length of special bus lanes at the approaches to isolated or coordinated intersections is determined based on the maximum length of queued vehicles which is computed using the simulation models developed in the Objective-C language. The article covers the basic characteristics of those models, their structure and building principles, and also provides the model validation results. Simulation models can be used both for determination of the optimum length of special bus lanes at the approaches to signalized intersections and for analysis of intersection performance based on the maximum length of queued vehicles.