Seol mar théacs é seo: Petri net modelling of programmable logic controller /