public class OpenNet extends PetrinetImpl
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<OpenNetLabel,java.util.Collection<Transition>> |
label2trans |
protected java.util.Map<Transition,java.util.Collection<OpenNetLabel>> |
trans2label |
arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions
Constructor and Description |
---|
OpenNet(java.lang.String label) |
OpenNet(java.lang.String label,
OpenNetInterface openNetInterface) |
Modifier and Type | Method and Description |
---|---|
void |
addConnection(Transition transition,
OpenNetLabel label) |
void |
addFinalMarking(Marking m) |
Transition |
addTransition(java.lang.String label) |
Transition |
addTransition(java.lang.String label,
ExpandableSubNet parent) |
protected OpenNet |
getEmptyClone() |
java.util.Collection<Marking> |
getFinalMarkings() |
OpenNetInterface |
getInterface() |
java.util.Collection<OpenNetLabel> |
getLabelsFor(Transition openNetTransition) |
java.util.Collection<Transition> |
getTransitions(OpenNetLabel label) |
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, cloneFrom, cloneFrom, getArc, getEdges, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
protected final java.util.Map<Transition,java.util.Collection<OpenNetLabel>> trans2label
protected final java.util.Map<OpenNetLabel,java.util.Collection<Transition>> label2trans
public OpenNet(java.lang.String label, OpenNetInterface openNetInterface)
public OpenNet(java.lang.String label)
public Transition addTransition(java.lang.String label)
addTransition
in interface PetrinetGraph
addTransition
in class AbstractResetInhibitorNet
public Transition addTransition(java.lang.String label, ExpandableSubNet parent)
addTransition
in interface PetrinetGraph
addTransition
in class AbstractResetInhibitorNet
public OpenNetInterface getInterface()
public void addFinalMarking(Marking m)
public java.util.Collection<Marking> getFinalMarkings()
public void addConnection(Transition transition, OpenNetLabel label)
protected OpenNet getEmptyClone()
getEmptyClone
in class PetrinetImpl
public java.util.Collection<OpenNetLabel> getLabelsFor(Transition openNetTransition)
public java.util.Collection<Transition> getTransitions(OpenNetLabel label)