Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.bpmn.statespace

Interface Bpmn2POReachabilityGraphConverter

All Known Implementing Classes:

Bpmn2POReachabilityGraphConverterImpl, StochasticBpmn2POReachabilityGraphConverterImpl

public interface Bpmn2POReachabilityGraphConverter

Method Summary

Modifier and Type	Method	Description
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph	convert(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmnDiagram)
static Bpmn2POReachabilityGraphConverter	getInstance()

Method Detail

getInstance

static Bpmn2POReachabilityGraphConverter getInstance()

convert

org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph convert(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram bpmnDiagram)
                                                                                 throws BpmnNoOptionToCompleteException,
                                                                                        BpmnUnboundedException

Throws:

BpmnNoOptionToCompleteException

BpmnUnboundedException