This work presents some conversion methods, compares them briefly, and presents an implementation of one of them. Such an implementation converts Ladder code to Colored Petri Nets model.Macêdo, CarlosOliveira, ElthonComputing & System Journal (C&S) / Revista de Sis...