Tekstiviesti: Petri net modelling of programmable logic controller /