Αποστολή με SMS: A Polynomial Translation of Mobile Ambients into Safe Petri Nets