Class PetrinetUtils
- java.lang.Object
-
- org.processmining.stochasticlabelleddatapetrinet.pnadapater.PetrinetUtils
-
public final class PetrinetUtils extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static com.google.common.collect.ImmutableSet<java.lang.String>SINK_PLACESstatic com.google.common.collect.ImmutableSet<java.lang.String>SOURCE_PLACES
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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.MarkingguessFinalMarking(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph currentNet)static org.processmining.models.semantics.petrinet.MarkingguessInitialMarking(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph currentNet)
-
-
-
Method Detail
-
getTransitionPostSet
public 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)
-
guessInitialMarking
public static org.processmining.models.semantics.petrinet.Marking guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph currentNet)
-
guessFinalMarking
public static org.processmining.models.semantics.petrinet.Marking guessFinalMarking(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph currentNet)
-
-