public class YAWLReachabilityUtils
extends java.lang.Object
Constructor and Description |
---|
YAWLReachabilityUtils(YNet net) |
YAWLReachabilityUtils(YNet net,
int maxMarkings) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
checkCancellationSets()
Check if the cancellation sets are unnecessary.
|
java.lang.String |
checkSoundness()
The method to check soundness property of YNets using reachability analysis.
|
java.lang.String |
checkUnnecessaryORJoins()
Used to detect whether OR-joins should be replaced by XOR or AND.
|
static java.util.Set<YExternalNetElement> |
convertToYawlMappings(YExternalNetElement e) |
static java.util.Set<YCondition> |
convertToYawlMappingsForConditions(YExternalNetElement e) |
void |
setParent(YAWLResetAnalyser parent) |
public YAWLReachabilityUtils(YNet net)
public YAWLReachabilityUtils(YNet net, int maxMarkings)
public void setParent(YAWLResetAnalyser parent)
public java.lang.String checkUnnecessaryORJoins() throws java.lang.IllegalStateException
java.lang.IllegalStateException
public java.lang.String checkCancellationSets() throws java.lang.IllegalStateException
java.lang.IllegalStateException
public java.lang.String checkSoundness()
public static java.util.Set<YExternalNetElement> convertToYawlMappings(YExternalNetElement e)
public static java.util.Set<YCondition> convertToYawlMappingsForConditions(YExternalNetElement e)