update convert robotpath to petri net

change it to time petri net