A Methodology for Translating Piping and Instrumentation Diagrams (P&ID) Into Labeled Petri Nets for Automatic PLC Code Generation | Publicación