public class MarkedPetrinet
extends java.lang.Object
Constructor and Description |
---|
MarkedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking) |
MarkedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
MarkedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
getFinalMarking() |
java.util.List<org.processmining.models.semantics.petrinet.Marking> |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getPetrinet() |
void |
loadFinalMarking() |
void |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
public MarkedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking)
public MarkedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
public MarkedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initMarking, 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 java.util.List<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()
public void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
public void loadFinalMarking()