finished the part with Petri Net