public class SoundnessOfPetriNets
extends java.lang.Object
Constructor and Description |
---|
SoundnessOfPetriNets() |
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) |
public static CPNAnalysisResults analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context, org.cpntools.accesscpn.model.PetriNet cpn, DataPetriNet dpn) throws java.lang.Exception
java.lang.Exception
public static CPNAnalysisResults analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.cpnet.ColouredPetriNet cpn, DataPetriNet dpn) throws java.lang.Exception
java.lang.Exception
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
java.lang.Exception