Timed Petri nets are one of the most important formalisms used to specify concurrent systems, However, timed Petri nets cannot represent the dynamics of systems within the formalism explicitly. Such incomplete formalisms make the modeling very difficult because modelers should know not only the formalism itself but also its problem-specific simulation algorithm. In this paper we present a formalism which can express the dynamics of systems and an simulator.