4D Petri