org.processmining.datapetrinets.validation

Class SoundnessOfPetriNets

java.lang.Object

org.processmining.datapetrinets.validation.SoundnessOfPetriNets

public class SoundnessOfPetriNets
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SoundnessOfPetriNets()

Method Summary

Modifier and Type	Method and Description
static CPNAnalysisResults	analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.cpnet.ColouredPetriNet cpn, DataPetriNet dpn)
static CPNAnalysisResults	analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context, org.cpntools.accesscpn.model.PetriNet cpn, DataPetriNet dpn)
protected static org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator	checkModel(org.cpntools.accesscpn.model.PetriNet petriNet, org.processmining.framework.plugin.Progress progress, org.processmining.plugins.cpnet.Logger logger)

Methods inherited from class java.lang.Object

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

Constructor Detail

SoundnessOfPetriNets

public SoundnessOfPetriNets()

Method Detail

analysisCPN

public static CPNAnalysisResults analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context,
                                             org.cpntools.accesscpn.model.PetriNet cpn,
                                             DataPetriNet dpn)
                                      throws java.lang.Exception

Throws:

java.lang.Exception

analysisCPN

public static CPNAnalysisResults analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context,
                                             org.processmining.plugins.cpnet.ColouredPetriNet cpn,
                                             DataPetriNet dpn)
                                      throws java.lang.Exception

Throws:

java.lang.Exception

checkModel

protected static final org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator checkModel(org.cpntools.accesscpn.model.PetriNet petriNet,
                                                                                             org.processmining.framework.plugin.Progress progress,
                                                                                             org.processmining.plugins.cpnet.Logger logger)
                                                                                      throws java.lang.Exception

Throws:

java.lang.Exception