Timed Hierarchical Colored Petri Nets (THCPN) is a graphical formal modeling tool that integrates temporal constraints, hierarchical structures, and colored Petri nets. It is specifically designed to characterize the temporal properties and concurrent behaviors of complex dynamic systems. To address the inherent large-scale concurrency and dynamic evolution of urban transportation networks, this paper proposes an automated modeling method based on THCPN, aiming to resolve issues in traditional traffic modeling such as heavy manual workload, low efficiency, and poor model consistency. By constructing a formal modeling framework for urban road networks, road structures are encapsulated into standardized templates including cross intersections, T-junctions, and turning connectors. A spatial discretization strategy is introduced to map the original road geometry into a structured grid coordinate system. Combined with a topology reconstruction method incorporating auxiliary turning points, this strategy enables the transformation of complex road networks into valid Petri net configurations. Through a template preprocessing and invocation mechanism, a complete automated generation pipeline from real-world traffic data to executable THCPN models is established.