Enviar por SMS: Application of Petri nets to manage bridge decks