public interface DataPetriNetsWithMarkings extends DataPetriNet
Modifier and Type | Interface and Description |
---|---|
static class |
DataPetriNetsWithMarkings.Factory |
DataPetriNet.PetrinetWithMarkings
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
void |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking) |
addVariable, assignReadOperation, assignWriteOperation, getVariable, getVariables, removeReadOperation, removeWriteOperation, setGuard, setGuardFromString
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
void setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking)
org.processmining.models.semantics.petrinet.Marking getInitialMarking()
void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings)
org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()