This should not be part of the `PetrinetInterface`. The interface only defines the minimum contract for being a Petrinet.