A Methodology for Translating Piping and Instrumentation Diagrams (P&ID) Into Labeled Petri Nets for Automatic PLC Code Generation | IEEE Journals & Magazine | IEEE Xplore