Class OpenNet
- java.lang.Object
-
- org.processmining.models.graphbased.AbstractGraphElement
-
- org.processmining.models.graphbased.AbstractGraph
-
- org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
-
- org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
-
- org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
-
- org.processmining.models.graphbased.directed.opennet.OpenNet
-
- All Implemented Interfaces:
java.lang.Cloneable,java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>>,org.processmining.models.graphbased.AttributeMapOwner,org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>,org.processmining.models.graphbased.directed.DirectedGraphElement,Petrinet,PetrinetGraph
public class OpenNet extends PetrinetImpl
- Author:
- hverbeek
-
-
Field Summary
Fields Modifier and Type Field Description protected java.util.Map<OpenNetLabel,java.util.Collection<Transition>>label2transprotected java.util.Map<Transition,java.util.Collection<OpenNetLabel>>trans2label-
Fields inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions
-
-
Constructor Summary
Constructors Constructor Description OpenNet(java.lang.String label)OpenNet(java.lang.String label, OpenNetInterface openNetInterface)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddConnection(Transition transition, OpenNetLabel label)voidaddFinalMarking(Marking m)TransitionaddTransition(java.lang.String label)TransitionaddTransition(java.lang.String label, ExpandableSubNet parent)protected OpenNetgetEmptyClone()java.util.Collection<Marking>getFinalMarkings()OpenNetInterfacegetInterface()java.util.Collection<OpenNetLabel>getLabelsFor(Transition openNetTransition)java.util.Collection<Transition>getTransitions(OpenNetLabel label)-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
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
-
Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraph
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
-
Methods inherited from class org.processmining.models.graphbased.AbstractGraph
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
-
Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement
getAttributeMap, getLabel, toString
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner
getAttributeMap
-
Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
-
Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement
equals, getGraph, hashCode
-
Methods inherited from interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition
-
-
-
-
Field Detail
-
trans2label
protected final java.util.Map<Transition,java.util.Collection<OpenNetLabel>> trans2label
-
label2trans
protected final java.util.Map<OpenNetLabel,java.util.Collection<Transition>> label2trans
-
-
Constructor Detail
-
OpenNet
public OpenNet(java.lang.String label, OpenNetInterface openNetInterface)
-
OpenNet
public OpenNet(java.lang.String label)
-
-
Method Detail
-
addTransition
public Transition addTransition(java.lang.String label)
- Specified by:
addTransitionin interfacePetrinetGraph- Overrides:
addTransitionin classAbstractResetInhibitorNet
-
addTransition
public Transition addTransition(java.lang.String label, ExpandableSubNet parent)
- Specified by:
addTransitionin interfacePetrinetGraph- Overrides:
addTransitionin classAbstractResetInhibitorNet
-
getInterface
public OpenNetInterface getInterface()
-
addFinalMarking
public void addFinalMarking(Marking m)
-
getFinalMarkings
public java.util.Collection<Marking> getFinalMarkings()
-
addConnection
public void addConnection(Transition transition, OpenNetLabel label)
-
getEmptyClone
protected OpenNet getEmptyClone()
- Overrides:
getEmptyClonein classPetrinetImpl
-
getLabelsFor
public java.util.Collection<OpenNetLabel> getLabelsFor(Transition openNetTransition)
-
getTransitions
public java.util.Collection<Transition> getTransitions(OpenNetLabel label)
-
-