Αποστολή με SMS: Distributed Embedded Controller Development with Petri Nets