Petri net modelling of industrial processes from a P&ID description | Publicación