Petri net modelling of industrial processes from a PID description Academic Article in Scopus