Package | Description |
---|---|
org.processmining.stochasticawareconformancechecking.helperclasses | |
org.processmining.stochasticawareconformancechecking.plugins |
Modifier and Type | Method and Description |
---|---|
static StochasticDeterministicFiniteAutomatonMapped<java.lang.String> |
StochasticPetriNet2StochasticDeterministicFiniteAutomaton2.convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
org.processmining.models.semantics.petrinet.Marking initialMarking)
For now, the final markings are not used.
|
Modifier and Type | Method and Description |
---|---|
org.processmining.framework.util.HTMLToString |
RelativeEntropyPlugin.computeSPNSDFA(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.StochasticNet pnB) |
StochasticDeterministicFiniteAutomatonMapped<java.lang.String> |
StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin.convert(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.StochasticNet net) |