Numerical simulation of a deterministic model of HIV transmission between major cities in Kenya is carried out. The model considered two closed patches connected by the commuter movements of truck drivers being the agents ...