Gravar-mail: Application of Petri nets to manage bridge decks