Modeling of Sequential Control System with Cyclic Scan by Petri Net