public interface ResetInhibitorNet extends PetrinetGraph
Modifier and Type | Method and Description |
---|---|
InhibitorArc |
addInhibitorArc(Place p,
Transition t) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t,
java.lang.String label) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
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) |
InhibitorArc |
getInhibitorArc(Place p,
Transition t) |
ResetArc |
getResetArc(Place p,
Transition t) |
InhibitorArc |
removeInhibitorArc(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, removeTransition
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
ResetArc 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)
InhibitorArc addInhibitorArc(Place p, Transition t, java.lang.String label)
InhibitorArc addInhibitorArc(Place p, Transition t)
InhibitorArc removeInhibitorArc(Place p, Transition t)
InhibitorArc getInhibitorArc(Place p, Transition t)
InhibitorArc addInhibitorArc(Place p, Transition t, java.lang.String label, ExpandableSubNet parent)
InhibitorArc addInhibitorArc(Place p, Transition t, ExpandableSubNet parent)