Αποστολή με SMS: Concurrent Object-Oriented Programming and Petri Nets