This work is devoted to modeling Estelle timers in terms of time mechanism presented by Jensen for coloured Petri nets. In the paper two methods are considered to represent Estelle transitions with delay-clauses. One of them uses the time inscriptions on the input arcs of the transitions, and the second does not. Moreover, the method of organization of the management phase is presented which allows us not to use the priorities when Estelle transitions with delay-clauses are modeled.