ejercicios promela.pdf