Text this: Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas