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