Enviar por SMS: Ecore representation for extending PNML for input-output place-transition nets