now showing the correct timestamp
refresh petri-net diagrams