Translation of extended Petri net model into ladder diagram and simulation with PLC