org.processmining.models.graphbased.directed.opennet
Class OpenNet

java.lang.Object
  extended by org.processmining.models.graphbased.AbstractGraphElement
      extended by org.processmining.models.graphbased.AbstractGraph
          extended by org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
              extended by org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
                  extended by 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
protected  java.util.Set<Arc> arcs
           
protected  java.util.Set<InhibitorArc> inhibitorArcs
           
protected  java.util.Map<OpenNetLabel,java.util.Collection<Transition>> label2trans
           
protected  java.util.Set<Place> places
           
protected  java.util.Set<ResetArc> resetArcs
           
protected  java.util.Set<ExpandableSubNet> substitutionTransitions
           
protected  java.util.Map<Transition,java.util.Collection<OpenNetLabel>> trans2label
           
protected  java.util.Set<Transition> transitions
           
 
Fields inherited from class org.processmining.models.graphbased.AbstractGraph
id
 
Constructor Summary
OpenNet(java.lang.String label)
           
OpenNet(java.lang.String label, OpenNetInterface openNetInterface)
           
 
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
 

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

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
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:
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()