<p>Reconfigurable systems, such as manufacturing systems, require dynamic modeling techniques that capture their evolving behavior. Timed colored Petri nets (TCPNs) allow us to represent large and complex systems while retaining the ability for formal analysis. However, their rigid structure limits their use in the formal modeling and verification of dynamic-structure systems. In this paper, we propose an extension of TCPNs incorporating dynamic structure, called dynamic TCPNs (D-TCPNs), to enhance their expressiveness while maintaining their capabilities for formal modeling, verification, and performance evaluation of reconfigurable systems. We demonstrate the applicability of this formalism in analyzing a reconfigurable manufacturing system, showcasing its effectiveness in capturing dynamic behaviors and providing precise performance evaluations.</p>