Telefona gönder: Petri net modelling of programmable logic controller /