public interface ResetNet extends PetrinetGraph
| Modifier and Type | Method and Description |
|---|---|
ResetArc |
addResetArc(Place p,
Transition t) |
ResetArc |
addResetArc(Place p,
Transition t,
ExpandableSubNet parent) |
ResetArc |
addResetArc(Place p,
Transition t,
java.lang.String label) |
ResetArc |
addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
ResetArc |
getResetArc(Place p,
Transition t) |
ResetArc |
removeResetArc(Place p,
Transition t) |
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, hashCodeResetArc addResetArc(Place p, Transition t, java.lang.String label)
ResetArc addResetArc(Place p, Transition t)
ResetArc removeResetArc(Place p, Transition t)
ResetArc getResetArc(Place p, Transition t)
ResetArc addResetArc(Place p, Transition t, java.lang.String label, ExpandableSubNet parent)
ResetArc addResetArc(Place p, Transition t, ExpandableSubNet parent)