Delete an element Apply the Delete tool to an element, or select the Delete entry from the element’s marking menu. The element will be deleted. Other elements that are dependent on the element may also be deleted. For example, When a place or transition is deleted, all of its inscriptions and surrounding arcs are also deleted. When a declaration is deleted, the other declarations and […]