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

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
PetriNetWithData(java.lang.String label, java.util.Set<DataElement> data_elements, java.util.Set<Predicate> pred_set)

Method Summary

Modifier and Type	Method and Description
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, hashCode, 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 -