Package org.processmining.stochasticawareconformancechecking.helperclasses

Class StochasticPetriNet2StochasticDeterministicFiniteAutomaton2

java.lang.Object

org.processmining.stochasticawareconformancechecking.helperclasses.StochasticPetriNet2StochasticDeterministicFiniteAutomaton2

public class StochasticPetriNet2StochasticDeterministicFiniteAutomaton2
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
StochasticPetriNet2StochasticDeterministicFiniteAutomaton2()

Method Summary

Modifier and Type	Method	Description
static StochasticDeterministicFiniteAutomatonMapped	convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net, org.processmining.models.semantics.petrinet.Marking initialMarking)	For now, the final markings are not used.

Methods inherited from class java.lang.Object

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

Constructor Detail

StochasticPetriNet2StochasticDeterministicFiniteAutomaton2

public StochasticPetriNet2StochasticDeterministicFiniteAutomaton2()

Method Detail

convert

public static StochasticDeterministicFiniteAutomatonMapped convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
                                                                   org.processmining.models.semantics.petrinet.Marking initialMarking)
                                                            throws org.processmining.models.semantics.IllegalTransitionException,
                                                                   UnsupportedPetriNetException

For now, the final markings are not used. That is, the only final markings are deadlock states, and every deadlock state is a final marking. Furthermore, we assume that silent transitions have no weight.

Parameters:

net -

initialMarking -

Returns:

Throws:

org.processmining.models.semantics.IllegalTransitionException

UnsupportedPetriNetException