Automatic generation system of ladder list program by petri net