Αποστολή με SMS: Petri Net Synthesis