public interface Petrinet extends PetrinetGraph
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransitiongetEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNodeequals, getGraph, hashCode