org.jbpt.petri.querying

Class AbstractUntanglingBasedBehavioralQuerying<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

java.lang.Object

org.jbpt.petri.querying.AbstractStructuralQuerying<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

IBehavioralQuerying<F,N,P,T,M>, IStructuralQuerying<F,N,P,T,M>

Direct Known Subclasses:

NetSystemQuerying

public class AbstractUntanglingBasedBehavioralQuerying<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends AbstractStructuralQuerying<BPN,C,E,F,N,P,T,M>
implements IBehavioralQuerying<F,N,P,T,M>

An implementation of the IBehavioralQuerying interface (using untanglings).

Author:

Artem Polyvyanyy

Field Summary

Fields

Modifier and Type	Field and Description
protected Collection<IProcess<BPN,C,E,F,N,P,T,M>>	untangling

Fields inherited from class org.jbpt.petri.querying.AbstractStructuralQuerying

sys

Constructor Summary

Constructors

Constructor and Description
AbstractUntanglingBasedBehavioralQuerying(INetSystem<F,N,P,T,M> sys)
AbstractUntanglingBasedBehavioralQuerying(INetSystem<F,N,P,T,M> sys, Collection<IProcess<BPN,C,E,F,N,P,T,M>> untangling)

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)

Methods inherited from class org.jbpt.petri.querying.AbstractStructuralQuerying

areModeledAll, areModeledAllExpanded, getNetSystem, isModeledOne

Methods inherited from class java.lang.Object

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

Field Detail

untangling

protected Collection<IProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>> untangling

Constructor Detail

AbstractUntanglingBasedBehavioralQuerying

public AbstractUntanglingBasedBehavioralQuerying(INetSystem<F,N,P,T,M> sys)

AbstractUntanglingBasedBehavioralQuerying

public AbstractUntanglingBasedBehavioralQuerying(INetSystem<F,N,P,T,M> sys,
                                         Collection<IProcess<BPN,C,E,F,N,P,T,M>> untangling)

Method Detail

canOccurAll

public boolean canOccurAll(Set<String> setOfLabels)

Description copied from interface: IBehavioralQuerying

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.

Specified by:

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

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.

canOccurAllExpanded

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

Specified by:

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

canOccurOne

public boolean canOccurOne(Set<String> setOfLabels)

Specified by:

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

canOccurOneExpanded

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

Specified by:

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

cannotOccurAll

public boolean cannotOccurAll(Set<String> setOfLabels)

Specified by:

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

cannotOccurOne

public boolean cannotOccurOne(Set<String> setOfLabels)

Specified by:

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

cannotOccurAllExpanded

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

Specified by:

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

cannotOccurOneExpanded

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

Specified by:

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