Modelling digital circuits with delays by Stochastic Petri Nets