org.jbpt.petri.querying

Interface IBehavioralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

All Known Implementing Classes:

AbstractUntanglingBasedBehavioralQuerying, NetSystemQuerying

public interface IBehavioralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Method Summary

Methods

Modifier and Type	Method and Description
boolean	cannotOccurAll(Set<String> setOfLabels)
boolean	cannotOccurAllExpanded(Set<Set<String>> setsOfLabels)
boolean	cannotOccurOne(Set<String> setOfLabels)
boolean	cannotOccurOneExpanded(Set<Set<String>> setsOfLabels)
boolean	canOccurAll(Set<String> setOfLabels) Check if there exists an occurrence sequence in the net system that for every label x in a given set of labels contains a transition labeled with x.
boolean	canOccurAllExpanded(Set<Set<String>> setsOfLabels)
boolean	canOccurOne(Set<String> setOfLabels)
boolean	canOccurOneExpanded(Set<Set<String>> setsOfLabels)

Method Detail

canOccurAll

boolean canOccurAll(Set<String> setOfLabels)

Check if there exists an occurrence sequence in the net system that for every label x in a given set of labels contains a transition labeled with x.

Parameters:

setOfLabels - Set of labels.

Returns:

true if there exists an occurrence sequence in the net system that for every label x in 'setOfLabels' contains a transition labeled with x; otherwise false.

cannotOccurAll

boolean cannotOccurAll(Set<String> setOfLabels)

canOccurOne

boolean canOccurOne(Set<String> setOfLabels)

cannotOccurOne

boolean cannotOccurOne(Set<String> setOfLabels)

canOccurAllExpanded

boolean canOccurAllExpanded(Set<Set<String>> setsOfLabels)

cannotOccurAllExpanded

boolean cannotOccurAllExpanded(Set<Set<String>> setsOfLabels)

canOccurOneExpanded

boolean canOccurOneExpanded(Set<Set<String>> setsOfLabels)

cannotOccurOneExpanded

boolean cannotOccurOneExpanded(Set<Set<String>> setsOfLabels)