All Methods Static Methods Concrete Methods
Modifier and Type |
Method and Description |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitionPostSet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
static org.processmining.models.semantics.petrinet.Marking |
guessFinalMarking(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph currentNet) |
static org.processmining.models.semantics.petrinet.Marking |
guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph currentNet) |