public class PetrinetWithMarking
extends java.lang.Object
Constructor and Description |
---|
PetrinetWithMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking) |
PetrinetWithMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
getFinalMarking() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getPetrinet() |
void |
setFinalMarking(org.processmining.models.semantics.petrinet.Marking finalMarking) |
public PetrinetWithMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking)
public PetrinetWithMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)
public org.processmining.models.graphbased.directed.petrinet.Petrinet getPetrinet()
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
public org.processmining.models.semantics.petrinet.Marking getFinalMarking()
public void setFinalMarking(org.processmining.models.semantics.petrinet.Marking finalMarking)