J. C. Quezada

Formal design methodology for transforming ladder diagram to Petri nets

J. C. Quezada, J. Medina, E. Flores, 2014 .

Simulation and validation of diagram ladder—petri nets

J. C. Quezada, J. Medina, E. Flores, 2017 .