Statistics for Descripción sintetizable de alto nivel para sistemas digitales asíncronos con redes de Petri