Modern complex embedded system design has turned to preliminary design. The Petri net is commonly used tool for modeling of embedded system preliminary design. However, for the traditional Petri net, there are some defects in complex embedded systems modeling, such as weak ability to processing data, lack of time elements and hierarchical structures. Therefore, colored, timed, and object-oriented technology are been introduced to extend the traditional Petri net. This paper proposes an Object-Oriented Timed Colored Petri Nets (OOTCPN) and gives the formal definition of the OOTCPN based on the formal definition of TCPN.