Petri net modelling of industrial processes from a P&ID description | IEEE Conference Publication | IEEE Xplore