This work is devoted to research dealing with automated constructing net models of SDL specifications. In the paper is considered SDL specifications with timers and priorities. The specifications allows to represent a considerable class of communication protocols. Coloured Petri nets extended by priorities and Merlin's time concepts are used as the net models. This work describes a method of translating the SDL specification into the net models.