org.processmining.plugins.flex.analysis

Class SoundnessChecking

java.lang.Object

org.processmining.plugins.flex.analysis.SoundnessChecking

public class SoundnessChecking
extends java.lang.Object

Soundness checking of flexible model A flexible model is sound if and only if for each transition, there is a valid trace that include the transition. Stepwise: 1. Construct a Petri net from the flex model 2. Check relaxed soundness of the net using lola state predicate

Author:

aadrians

Constructor Summary

Constructors

Constructor and Description
SoundnessChecking()

Method Summary

Modifier and Type	Method and Description
java.lang.Object[]	diagnose(org.processmining.framework.plugin.PluginContext context, org.processmining.models.flexiblemodel.Flex flex)
java.lang.Object[]	diagnose(org.processmining.framework.plugin.PluginContext context, org.processmining.models.flexiblemodel.Flex flex, org.processmining.models.flexiblemodel.StartTaskNodesSet startTaskNodesSet, org.processmining.models.flexiblemodel.EndTaskNodesSet endTaskNodesSet)

Methods inherited from class java.lang.Object

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

Constructor Detail

SoundnessChecking

public SoundnessChecking()

Method Detail

diagnose

public java.lang.Object[] diagnose(org.processmining.framework.plugin.PluginContext context,
                                   org.processmining.models.flexiblemodel.Flex flex)

diagnose

public java.lang.Object[] diagnose(org.processmining.framework.plugin.PluginContext context,
                                   org.processmining.models.flexiblemodel.Flex flex,
                                   org.processmining.models.flexiblemodel.StartTaskNodesSet startTaskNodesSet,
                                   org.processmining.models.flexiblemodel.EndTaskNodesSet endTaskNodesSet)