Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation | Publicación