The Theory of Dynamic Public Transit Priority with Dynamic Stochastic Park and Ride · Study