public static interface DataPetriNet.PetrinetWithMarkings
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getNet() |