Conversion methodologies from Signal Interpreted Petri Nets to Ladder Diagram and C language in Arduino - Borges Matheus Ungaretti (International Journal of Mechanical Engineering Education)