public interface InhibitorNet 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) |
InhibitorArc |
getInhibitorArc(Place p,
Transition t) |
InhibitorArc |
removeInhibitorArc(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, hashCodeInhibitorArc 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)