Stochastic Models for Traffic Flow Optimization in Egyptian Networks: Stability Analysis and Convergence Proofs | Synapse