Enviar por SMS: On the use of programming languages for textual specification of Petri Net Models