org.processmining.models.graphbased.directed.petrinetwithdata
Class PetriNetWithData

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.petrinetwithdata.PetriNetWithData
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 PetriNetWithData
extends PetrinetImpl


Field Summary
protected  java.util.Set<Arc> arcs
           
 java.util.Map<Transition,java.util.Set<DataElement>> destroying_data
           
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
           
 java.util.Map<Transition,java.util.Set<DataElement>> writing_data
           
 
Fields inherited from class org.processmining.models.graphbased.AbstractGraph
id
 
Constructor Summary
PetriNetWithData(java.lang.String label, java.util.Set<DataElement> data_elements, java.util.Set<Predicate> pred_set)
           
 
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)
           
 void assignDataOperation(Transition t, java.util.Set<DataElement> data_elements, java.lang.String type)
           
 void assignGuard(Transition t, Guard grd)
           
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<DataElement> getDataElements()
           
 java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> getEdges()
           
 java.util.Collection<ExpandableSubNet> getGroups()
           
 java.util.Map<Transition,Guard> getGuards()
           
 InhibitorArc getInhibitorArc(Place p, Transition t)
           
 java.util.Set<PetrinetNode> getNodes()
           
 java.util.Collection<Place> getPlaces()
           
 java.util.Set<Predicate> getPredicates()
           
 ResetArc getResetArc(Place p, Transition t)
           
 java.util.Collection<Transition> getTransitions()
           
 boolean isDestroying(Transition t, DataElement d)
           
 boolean isReading(Transition t, DataElement d)
           
 boolean isWriting(Transition t, DataElement d)
           
static void main(java.lang.String[] args)
           
 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)
           
 void setVisualizationLabels()
           
 void showDataElements()
           
 void showDataOperations()
           
 void showGuards()
           
 
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
getEmptyClone
 
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

writing_data

public java.util.Map<Transition,java.util.Set<DataElement>> writing_data

destroying_data

public java.util.Map<Transition,java.util.Set<DataElement>> destroying_data

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

PetriNetWithData

public PetriNetWithData(java.lang.String label,
                        java.util.Set<DataElement> data_elements,
                        java.util.Set<Predicate> pred_set)
Method Detail

assignDataOperation

public void assignDataOperation(Transition t,
                                java.util.Set<DataElement> data_elements,
                                java.lang.String type)

setVisualizationLabels

public void setVisualizationLabels()

isReading

public boolean isReading(Transition t,
                         DataElement d)

isWriting

public boolean isWriting(Transition t,
                         DataElement d)

isDestroying

public boolean isDestroying(Transition t,
                            DataElement d)

assignGuard

public void assignGuard(Transition t,
                        Guard grd)

getDataElements

public java.util.Set<DataElement> getDataElements()

showDataElements

public void showDataElements()

showDataOperations

public void showDataOperations()

showGuards

public void showGuards()

getGuards

public java.util.Map<Transition,Guard> getGuards()

getPredicates

public java.util.Set<Predicate> getPredicates()

main

public static void main(java.lang.String[] args)
Parameters:
args -

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