public class PetriNetWithData extends org.processmining.models.graphbased.directed.petrinet.impl.InhibitorNetImpl implements DataPetriNetsWithMarkings
DataPetriNetsWithMarkings.Factory
DataPetriNet.PetrinetWithMarkings
Modifier and Type | Field and Description |
---|---|
static char |
WRITE_CHAR
Character that is appended to a variable
|
Constructor and Description |
---|
PetriNetWithData(java.lang.String netName) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
addTransition(java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
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 t,
DataElement v) |
void |
assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
static java.util.Set<java.lang.String> |
getAllVariableNames(DataPetriNet net) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
getEdges() |
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getNodes() |
DataElement |
getVariable(java.lang.String name) |
java.util.Collection<DataElement> |
getVariables() |
static java.util.Map<java.lang.String,java.lang.Class> |
getVariableTypes(DataPetriNet net) |
void |
removeAllVariables() |
void |
removeAllVariablesNotInGuard() |
void |
removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
Removes the given edge from the graph.
|
void |
removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node) |
void |
removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
removeTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
void |
removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
void |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings) |
void |
setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
Expression guard)
Deprecated.
|
void |
setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
Expression guard,
double quality)
Deprecated.
|
void |
setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
org.processmining.datapetrinets.expression.GuardExpression guard) |
void |
setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.datapetrinets.expression.GuardExpression guard,
double quality) |
void |
setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.String guard) |
void |
setGuardFromString(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
java.lang.String guardAsString) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking) |
getEmptyClone
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, cloneFrom, cloneFrom, getArc, getGroups, getInhibitorArc, getPlaces, getResetArc, getTransitions, removeArc, removeGroup, removeInhibitorArc, removePlace, removeResetArc
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace
getInEdges, getOutEdges
equals, getGraph, hashCode
public static final char WRITE_CHAR
public static java.util.Set<java.lang.String> getAllVariableNames(DataPetriNet net)
public static java.util.Map<java.lang.String,java.lang.Class> getVariableTypes(DataPetriNet net)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getEdges()
getEdges
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
getEdges
in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getNodes()
getNodes
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
getNodes
in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
public DataElement addVariable(java.lang.String varName, java.lang.Class type, java.lang.Comparable minValue, java.lang.Comparable maxValue)
addVariable
in interface DataPetriNet
public void removeAllVariablesNotInGuard()
public void assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, DataElement v)
assignReadOperation
in interface DataPetriNet
public void assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, DataElement v)
assignWriteOperation
in interface DataPetriNet
public void removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, DataElement v)
removeWriteOperation
in interface DataPetriNet
public void removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, DataElement v)
removeReadOperation
in interface DataPetriNet
public java.util.Collection<DataElement> getVariables()
getVariables
in interface DataPetriNet
public DataElement getVariable(java.lang.String name)
getVariable
in interface DataPetriNet
public void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.lang.String guard) throws java.text.ParseException
java.text.ParseException
public 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
setGuardFromString
in interface DataPetriNet
org.processmining.datapetrinets.expression.syntax.ParseException
org.processmining.datapetrinets.exception.NonExistingVariableException
public void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.datapetrinets.expression.GuardExpression guard) throws org.processmining.datapetrinets.exception.NonExistingVariableException
setGuard
in interface DataPetriNet
org.processmining.datapetrinets.exception.NonExistingVariableException
@Deprecated public void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, Expression guard)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition addTransition(java.lang.String label, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addTransition
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
addTransition
in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
public void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.datapetrinets.expression.GuardExpression guard, double quality) throws org.processmining.datapetrinets.exception.NonExistingVariableException
org.processmining.datapetrinets.exception.NonExistingVariableException
@Deprecated public void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, Expression guard, double quality)
setGuard(Transition, GuardExpression, double)
insteadpublic void removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
org.processmining.models.graphbased.directed.DirectedGraph
removeEdge
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
removeEdge
in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
public void removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)
removeNode
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
removeNode
in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
public org.processmining.models.graphbased.directed.petrinet.elements.Transition removeTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
removeTransition
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
removeTransition
in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
getInitialMarking
in interface DataPetriNetsWithMarkings
public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()
getFinalMarkings
in interface DataPetriNetsWithMarkings
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking)
setInitialMarking
in interface DataPetriNetsWithMarkings
public void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings)
setFinalMarkings
in interface DataPetriNetsWithMarkings
public void removeAllVariables()