Wyślij wiadomość: Metodología para la programación de redes de semáforos de tiempos prefijados