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, removeTransitioncheckAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdgesequals, getEdges, hashCode, removeFromEdges, removeNodeFromCollectiongetAttributeMap, getLabel, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitaddArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransitiongetEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNodeequals, getGraph, hashCodeprotected 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 PetrinetGraphaddTransition in class AbstractResetInhibitorNetpublic Transition addTransition(java.lang.String label, ExpandableSubNet parent)
addTransition in interface PetrinetGraphaddTransition in class AbstractResetInhibitorNetpublic 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 PetrinetImplpublic java.util.Collection<OpenNetLabel> getLabelsFor(Transition openNetTransition)
public java.util.Collection<Transition> getTransitions(OpenNetLabel label)