public class PetriNetWithData extends org.processmining.models.graphbased.directed.petrinet.impl.InhibitorNetImpl implements DataPetriNetsWithMarkings
DataPetriNetsWithMarkings.FactoryDataPetriNet.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) |
getEmptyCloneaddArc, 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, removeResetArccheckAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdgesequals, getEdges, hashCode, removeFromEdges, removeNodeFromCollectiongetAttributeMap, getLabel, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitaddArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlacegetInEdges, getOutEdgesequals, getGraph, hashCodepublic 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.AbstractResetInhibitorNetpublic 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.AbstractResetInhibitorNetpublic DataElement addVariable(java.lang.String varName, java.lang.Class type, java.lang.Comparable minValue, java.lang.Comparable maxValue)
addVariable in interface DataPetriNetpublic void removeAllVariablesNotInGuard()
public void assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v)
assignReadOperation in interface DataPetriNetpublic void assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v)
assignWriteOperation in interface DataPetriNetpublic void removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v)
removeWriteOperation in interface DataPetriNetpublic void removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v)
removeReadOperation in interface DataPetriNetpublic java.util.Collection<DataElement> getVariables()
getVariables in interface DataPetriNetpublic DataElement getVariable(java.lang.String name)
getVariable in interface DataPetriNetpublic void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.String guard)
throws java.text.ParseException
java.text.ParseExceptionpublic 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 DataPetriNetorg.processmining.datapetrinets.expression.syntax.ParseExceptionorg.processmining.datapetrinets.exception.NonExistingVariableExceptionpublic 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 DataPetriNetorg.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.PetrinetGraphaddTransition in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNetpublic 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.DirectedGraphremoveEdge 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.AbstractResetInhibitorNetpublic 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.AbstractResetInhibitorNetpublic 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.PetrinetGraphremoveTransition in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNetpublic org.processmining.models.semantics.petrinet.Marking getInitialMarking()
getInitialMarking in interface DataPetriNetsWithMarkingspublic org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()
getFinalMarkings in interface DataPetriNetsWithMarkingspublic void setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking)
setInitialMarking in interface DataPetriNetsWithMarkingspublic void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings)
setFinalMarkings in interface DataPetriNetsWithMarkingspublic void removeAllVariables()