All Methods Instance Methods Abstract Methods
Modifier and Type |
Method and Description |
Arc |
addArc(Place p,
Transition t) |
Arc |
addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
addArc(Place p,
Transition t,
int weight) |
Arc |
addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
addArc(Transition t,
Place p) |
Arc |
addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
addArc(Transition t,
Place p,
int weight) |
Arc |
addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
ExpandableSubNet |
addGroup(java.lang.String label) |
ExpandableSubNet |
addGroup(java.lang.String label,
ExpandableSubNet parent) |
Place |
addPlace(java.lang.String label) |
Place |
addPlace(java.lang.String label,
ExpandableSubNet parent) |
Transition |
addTransition(java.lang.String label) |
Transition |
addTransition(java.lang.String label,
ExpandableSubNet parent) |
Arc |
getArc(PetrinetNode source,
PetrinetNode target) |
java.util.Collection<ExpandableSubNet> |
getGroups() |
java.lang.String |
getLabel() |
java.util.Collection<Place> |
getPlaces() |
java.util.Collection<Transition> |
getTransitions() |
Arc |
removeArc(PetrinetNode source,
PetrinetNode target) |
ExpandableSubNet |
removeGroup(ExpandableSubNet transition) |
Place |
removePlace(Place place) |
Transition |
removeTransition(Transition transition) |