Package org.processmining.stochasticawareconformancechecking.plugins

Class StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin

java.lang.Object

org.processmining.stochasticawareconformancechecking.plugins.StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin

public class StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin()

Method Summary

Modifier and Type	Method	Description
StochasticDeterministicFiniteAutomatonMapped	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin

public StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin()

Method Detail

convert

public StochasticDeterministicFiniteAutomatonMapped convert(org.processmining.framework.plugin.PluginContext context,
                                                            org.processmining.models.graphbased.directed.petrinet.StochasticNet net)
                                                     throws org.processmining.models.semantics.IllegalTransitionException,
                                                            UnsupportedPetriNetException

Throws:

org.processmining.models.semantics.IllegalTransitionException

UnsupportedPetriNetException

guessInitialMarking

public static org.processmining.models.semantics.petrinet.Marking guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)