org.processmining.datapetrinets.validation

Class DPNSoundness

java.lang.Object

org.processmining.datapetrinets.validation.DPNSoundness

public class DPNSoundness
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DPNSoundness()

Method Summary

Modifier and Type	Method and Description
static CPNAnalysisResults	convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context, DataPetriNet dpn)

Methods inherited from class java.lang.Object

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

Constructor Detail

DPNSoundness

public DPNSoundness()

Method Detail

convertFromPetriNet

public static CPNAnalysisResults convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
                                                     DataPetriNet dpn)
                                              throws java.lang.Exception

Throws:

java.lang.Exception