Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.bpmn.stochastic.statespace
Interface StochasticBpmn2POReachabilityGraphConverter
-
- All Known Implementing Classes:
StochasticBpmn2POReachabilityGraphConverterImpl
public interface StochasticBpmn2POReachabilityGraphConverter
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraphconvert(org.processmining.stochasticbpmn.models.graphbased.directed.bpmn.stochastic.StochasticBPMNDiagram bpmnDiagram)static StochasticBpmn2POReachabilityGraphConvertergetInstance()static StochasticBpmn2POReachabilityGraphConvertergetInstance(ExecutableStochasticBpmnNodeFactory nodeFactory)
-
-
-
Method Detail
-
getInstance
static StochasticBpmn2POReachabilityGraphConverter getInstance()
-
getInstance
static StochasticBpmn2POReachabilityGraphConverter getInstance(ExecutableStochasticBpmnNodeFactory nodeFactory)
-
convert
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph convert(org.processmining.stochasticbpmn.models.graphbased.directed.bpmn.stochastic.StochasticBPMNDiagram bpmnDiagram) throws BpmnNoOptionToCompleteException, BpmnUnboundedException
-
-