Petri net implementation in programmable logic controllers: methodology for development and validation | Publicación