Αποστολή με SMS: Application and theory of Petri Nets 1994 :