A methodology for translating Piping and Instrumentation Diagrams (P&ID) into Labeled Petri Nets for automatic PLC code generation. Academic Article in Scopus