Αποστολή με SMS: Applications and Theory of Petri Nets