Αποστολή με SMS: Petri net modelling of programmable logic controller /