This paper aims to develop a mathematical model using Petri nets to simulate the traffic flow inside the road tunnel. First, a new modular Petri net theory is used; the modeling approach shown in this paper for modeling a ...