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.AbstractResetInhibitorNet
                  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
 java.util.Map<Transition,java.util.Set<DataElement>> destroying_data
           
 java.util.Map<Transition,java.util.Set<DataElement>> writing_data
           
 
Fields inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions
 
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
 void assignDataOperation(Transition t, java.util.Set<DataElement> data_elements, java.lang.String type)
           
 void assignGuard(Transition t, Guard grd)
           
 java.util.Set<DataElement> getDataElements()
           
 java.util.Map<Transition,Guard> getGuards()
           
 java.util.Set<Predicate> getPredicates()
           
 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)
           
 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.petrinet.impl.AbstractResetInhibitorNet
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, addTransition, 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.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
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 -