public interface DataPetriNet
extends org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
Modifier and Type | Interface and Description |
---|---|
static class |
DataPetriNet.Factory |
static interface |
DataPetriNet.PetrinetWithMarkings |
Modifier and Type | Method and Description |
---|---|
DataElement |
addVariable(java.lang.String varName,
java.lang.Class type,
java.lang.Comparable minValue,
java.lang.Comparable maxValue) |
void |
assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
void |
assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
DataElement |
getVariable(java.lang.String name) |
java.util.Collection<DataElement> |
getVariables() |
void |
removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
void |
removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
void |
setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
org.processmining.datapetrinets.expression.GuardExpression guard) |
void |
setGuardFromString(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
java.lang.String guardAsString) |
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
DataElement addVariable(java.lang.String varName, java.lang.Class type, java.lang.Comparable minValue, java.lang.Comparable maxValue)
DataElement getVariable(java.lang.String name)
java.util.Collection<DataElement> getVariables()
void assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void setGuardFromString(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.lang.String guardAsString) throws org.processmining.datapetrinets.expression.syntax.ParseException, org.processmining.datapetrinets.exception.NonExistingVariableException
org.processmining.datapetrinets.expression.syntax.ParseException
org.processmining.datapetrinets.exception.NonExistingVariableException
void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.datapetrinets.expression.GuardExpression guard) throws org.processmining.datapetrinets.exception.NonExistingVariableException
org.processmining.datapetrinets.exception.NonExistingVariableException