Email-запись: Sistema ascensor de cuatro pisos controlado mediante redes de Petri con fines didácticos