public class StochasticPetriNet2StochasticDeterministicFiniteAutomaton
extends java.lang.Object
Constructor and Description |
---|
StochasticPetriNet2StochasticDeterministicFiniteAutomaton() |
Modifier and Type | Method and Description |
---|---|
static StochasticDeterministicFiniteAutomatonMapped<java.lang.String> |
convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
org.processmining.models.semantics.petrinet.Marking initialMarking)
For now, the final markings are not used.
|
static StochasticDeterministicFiniteAutomatonMapped<java.lang.String> |
convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
short[] initialMarking,
org.processmining.models.semantics.petrinet.impl.EfficientStochasticNetSemanticsImpl s) |
public StochasticPetriNet2StochasticDeterministicFiniteAutomaton()
public static StochasticDeterministicFiniteAutomatonMapped<java.lang.String> convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net, org.processmining.models.semantics.petrinet.Marking initialMarking) throws org.processmining.models.semantics.IllegalTransitionException, UnsupportedPetriNetException
net
- initialMarking
- org.processmining.models.semantics.IllegalTransitionException
UnsupportedPetriNetException
public static StochasticDeterministicFiniteAutomatonMapped<java.lang.String> convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net, short[] initialMarking, org.processmining.models.semantics.petrinet.impl.EfficientStochasticNetSemanticsImpl s) throws org.processmining.models.semantics.IllegalTransitionException, UnsupportedPetriNetException
org.processmining.models.semantics.IllegalTransitionException
UnsupportedPetriNetException