Enviar por SMS: On the verification of non-autonomous Petri net models using autonomous petri net tools