@Deprecated public class DiscoveredPetriNetWithData extends PetriNetWithData
DataPetriNetsWithMarkings.FactoryDataPetriNet.PetrinetWithMarkingsWRITE_CHAR| Constructor and Description |
|---|
DiscoveredPetriNetWithData(java.lang.String netName)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
DecisionPointGuardsResult |
getDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
Deprecated.
|
void |
storeDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
DecisionPointGuardsResult f)
Deprecated.
|
addTransition, addVariable, assignReadOperation, assignWriteOperation, getAllVariableNames, getEdges, getFinalMarkings, getInitialMarking, getNodes, getVariable, getVariables, getVariableTypes, removeAllVariables, removeAllVariablesNotInGuard, removeEdge, removeNode, removeReadOperation, removeTransition, removeWriteOperation, setFinalMarkings, setGuard, setGuard, setGuard, setGuard, setGuard, setGuardFromString, setInitialMarkinggetEmptyCloneaddArc, 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, 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 DiscoveredPetriNetWithData(java.lang.String netName)
public void storeDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
DecisionPointGuardsResult f)
public DecisionPointGuardsResult getDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place p)