convert
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
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