Modeling and race detection of ladder diagrams via ordinary Petri nets