public class StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin
extends java.lang.Object
Constructor and Description |
---|
StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin() |
Modifier and Type | Method and Description |
---|---|
StochasticDeterministicFiniteAutomatonMapped<java.lang.String> |
convert(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.StochasticNet net) |
static org.processmining.models.semantics.petrinet.Marking |
guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin()
public StochasticDeterministicFiniteAutomatonMapped<java.lang.String> convert(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.StochasticNet net) throws org.processmining.models.semantics.IllegalTransitionException, UnsupportedPetriNetException
org.processmining.models.semantics.IllegalTransitionException
UnsupportedPetriNetException
public static org.processmining.models.semantics.petrinet.Marking guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)