Vertices for visual Petri nets