Two specification tools for the discrete event dynamic systems (DEDS) are described in the paper. The first one is the finite automaton which represents the basic finite state machine from which many other tools are derived. The second and very often used nowadays is Petri net. Both tools are analyzed, compared and used for the DEDS control. Their use is illustrated on an practical example.