Evaluation of the Behaviour of Digital Circuits by Timed Petri Nets