static CPNAnalysisResults |
SoundnessOfPetriNets.analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.plugins.cpnet.ColouredPetriNet cpn,
DataPetriNet dpn) |
static CPNAnalysisResults |
SoundnessOfPetriNets.analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context,
org.cpntools.accesscpn.model.PetriNet cpn,
DataPetriNet dpn) |
static CPNAnalysisResults |
DPNSoundness.convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
DataPetriNet dpn) |