org.processmining.models.graphbased.directed.opennet
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.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
Fields inherited from class org.processmining.models.graphbased.AbstractGraph |
id |
Method Summary |
Arc |
addArc(Place p,
Transition t)
|
Arc |
addArc(Place p,
Transition t,
ExpandableSubNet parent)
|
Arc |
addArc(Place p,
Transition t,
int weight)
|
Arc |
addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent)
|
Arc |
addArc(Transition t,
Place p)
|
Arc |
addArc(Transition t,
Place p,
ExpandableSubNet parent)
|
Arc |
addArc(Transition t,
Place p,
int weight)
|
Arc |
addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent)
|
protected Arc |
addArcPrivate(PetrinetNode src,
PetrinetNode trgt,
int weight,
ExpandableSubNet parent)
|
void |
addConnection(Transition transition,
OpenNetLabel label)
|
void |
addFinalMarking(Marking m)
|
ExpandableSubNet |
addGroup(java.lang.String label)
|
ExpandableSubNet |
addGroup(java.lang.String label,
ExpandableSubNet parent)
|
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)
|
Place |
addPlace(java.lang.String label)
|
Place |
addPlace(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)
|
Transition |
addTransition(java.lang.String label)
|
Transition |
addTransition(java.lang.String label,
ExpandableSubNet parent)
|
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
cloneFrom(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet net,
boolean transitions,
boolean places,
boolean arcs,
boolean resets,
boolean inhibitors)
|
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph)
|
Arc |
getArc(PetrinetNode source,
PetrinetNode target)
|
java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
getEdges()
|
protected OpenNet |
getEmptyClone()
|
java.util.Collection<Marking> |
getFinalMarkings()
|
java.util.Collection<ExpandableSubNet> |
getGroups()
|
InhibitorArc |
getInhibitorArc(Place p,
Transition t)
|
OpenNetInterface |
getInterface()
|
java.util.Collection<OpenNetLabel> |
getLabelsFor(Transition openNetTransition)
|
java.util.Set<PetrinetNode> |
getNodes()
|
java.util.Collection<Place> |
getPlaces()
|
ResetArc |
getResetArc(Place p,
Transition t)
|
java.util.Collection<Transition> |
getTransitions()
|
java.util.Collection<Transition> |
getTransitions(OpenNetLabel label)
|
Arc |
removeArc(PetrinetNode source,
PetrinetNode target)
|
void |
removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
|
ExpandableSubNet |
removeGroup(ExpandableSubNet transition)
|
InhibitorArc |
removeInhibitorArc(Place p,
Transition t)
|
void |
removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)
|
Place |
removePlace(Place place)
|
ResetArc |
removeResetArc(Place p,
Transition t)
|
Transition |
removeTransition(Transition transition)
|
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, equals, finalize, getClass, notify, notifyAll, wait, wait, wait |
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 |
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.AttributeMapOwner |
getAttributeMap |
Methods inherited from interface java.lang.Comparable |
compareTo |
trans2label
protected final java.util.Map<Transition,java.util.Collection<OpenNetLabel>> trans2label
label2trans
protected final java.util.Map<OpenNetLabel,java.util.Collection<Transition>> label2trans
transitions
protected final java.util.Set<Transition> transitions
substitutionTransitions
protected final java.util.Set<ExpandableSubNet> substitutionTransitions
places
protected final java.util.Set<Place> places
arcs
protected final java.util.Set<Arc> arcs
resetArcs
protected final java.util.Set<ResetArc> resetArcs
inhibitorArcs
protected final java.util.Set<InhibitorArc> inhibitorArcs
OpenNet
public OpenNet(java.lang.String label,
OpenNetInterface openNetInterface)
OpenNet
public OpenNet(java.lang.String label)
addTransition
public Transition addTransition(java.lang.String label)
- Specified by:
addTransition
in interface PetrinetGraph
addTransition
public Transition addTransition(java.lang.String label,
ExpandableSubNet parent)
- Specified by:
addTransition
in interface PetrinetGraph
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:
getEmptyClone
in class PetrinetImpl
getLabelsFor
public java.util.Collection<OpenNetLabel> getLabelsFor(Transition openNetTransition)
getTransitions
public java.util.Collection<Transition> getTransitions(OpenNetLabel label)
addResetArc
public ResetArc addResetArc(Place p,
Transition t)
addResetArc
public ResetArc addResetArc(Place p,
Transition t,
ExpandableSubNet parent)
addResetArc
public ResetArc addResetArc(Place p,
Transition t,
java.lang.String label)
addResetArc
public ResetArc addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent)
removeResetArc
public ResetArc removeResetArc(Place p,
Transition t)
addInhibitorArc
public InhibitorArc addInhibitorArc(Place p,
Transition t,
java.lang.String label)
addInhibitorArc
public InhibitorArc addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent)
addInhibitorArc
public InhibitorArc addInhibitorArc(Place p,
Transition t)
addInhibitorArc
public InhibitorArc addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent)
removeInhibitorArc
public InhibitorArc removeInhibitorArc(Place p,
Transition t)
getInhibitorArc
public InhibitorArc getInhibitorArc(Place p,
Transition t)
getResetArc
public ResetArc getResetArc(Place p,
Transition t)
addGroup
public ExpandableSubNet addGroup(java.lang.String label)
addGroup
public ExpandableSubNet addGroup(java.lang.String label,
ExpandableSubNet parent)
addPlace
public Place addPlace(java.lang.String label)
addPlace
public Place addPlace(java.lang.String label,
ExpandableSubNet parent)
addArcPrivate
protected Arc addArcPrivate(PetrinetNode src,
PetrinetNode trgt,
int weight,
ExpandableSubNet parent)
addArc
public Arc addArc(Place p,
Transition t,
int weight)
addArc
public Arc addArc(Place p,
Transition t)
addArc
public Arc addArc(Transition t,
Place p,
int weight)
addArc
public Arc addArc(Transition t,
Place p)
addArc
public Arc addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent)
addArc
public Arc addArc(Place p,
Transition t,
ExpandableSubNet parent)
addArc
public Arc addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent)
addArc
public Arc addArc(Transition t,
Place p,
ExpandableSubNet parent)
getArc
public Arc getArc(PetrinetNode source,
PetrinetNode target)
removeArc
public Arc removeArc(PetrinetNode source,
PetrinetNode target)
removeEdge
public void removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
- Specified by:
removeEdge
in interface org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
- Specified by:
removeEdge
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
removeNode
public void removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)
removePlace
public Place removePlace(Place place)
removeTransition
public Transition removeTransition(Transition transition)
removeGroup
public ExpandableSubNet removeGroup(ExpandableSubNet transition)
getNodes
public java.util.Set<PetrinetNode> getNodes()
getEdges
public java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> getEdges()
cloneFrom
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph)
- Specified by:
cloneFrom
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
cloneFrom
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet net,
boolean transitions,
boolean places,
boolean arcs,
boolean resets,
boolean inhibitors)
getPlaces
public java.util.Collection<Place> getPlaces()
getTransitions
public java.util.Collection<Transition> getTransitions()
getGroups
public java.util.Collection<ExpandableSubNet> getGroups()