org.processmining.models.graphbased.directed.petrinet.impl
Class PetrinetImpl

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
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
Direct Known Subclasses:
OpenNet, PetriNetWithData

public class PetrinetImpl
extends org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
implements Petrinet


Field Summary
protected  java.util.Set<Arc> arcs
           
protected  java.util.Set<InhibitorArc> inhibitorArcs
           
protected  java.util.Set<Place> places
           
protected  java.util.Set<ResetArc> resetArcs
           
protected  java.util.Set<ExpandableSubNet> substitutionTransitions
           
protected  java.util.Set<Transition> transitions
           
 
Fields inherited from class org.processmining.models.graphbased.AbstractGraph
id
 
Constructor Summary
PetrinetImpl(java.lang.String label)
           
 
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)
           
 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  PetrinetImpl getEmptyClone()
           
 java.util.Collection<ExpandableSubNet> getGroups()
           
 InhibitorArc getInhibitorArc(Place p, Transition t)
           
 java.util.Set<PetrinetNode> getNodes()
           
 java.util.Collection<Place> getPlaces()
           
 ResetArc getResetArc(Place p, Transition t)
           
 java.util.Collection<Transition> getTransitions()
           
 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, 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, addTransition, addTransition, 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

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

PetrinetImpl

public PetrinetImpl(java.lang.String label)
Method Detail

getEmptyClone

protected PetrinetImpl getEmptyClone()
Specified by:
getEmptyClone in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>

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)

addTransition

public Transition addTransition(java.lang.String label)

addTransition

public Transition addTransition(java.lang.String label,
                                ExpandableSubNet parent)

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