Text this: Modelamiento de las secuencias de protecciones en sistemas de transmisión por medio de redes de Petri