Αποστολή με SMS: Free choice Petri Nets