Enviar por SMS: An Ecore based Petri net type definition for PNML IOPT models