Αποστολή με SMS: Petri Net Technology for Communication-Based Systems