PROBABILISTIC DELAY EVALUATION IN COMBINATIONAL CIRCUITS BY PETRI NETS