Enviar por SMS: Input event modeling for discrete-event controllers: A petri net approach