org.processmining.models.graphbased.directed.petrinetwithdata
Class PetriNetWithData
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.AbstractResetInhibitorNet
org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
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
Fields inherited from class org.processmining.models.graphbased.AbstractGraph |
id |
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 |
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
PetriNetWithData
public PetriNetWithData(java.lang.String label,
java.util.Set<DataElement> data_elements,
java.util.Set<Predicate> pred_set)
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
-