Title: Diseño de automatismos con grafcet. Teoría y ejemplos