org.jbpt.petri.querying.IBehavioralQuerying Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jbpt-petri Show documentation

The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes.

The newest version!

package org.jbpt.petri.querying;

import java.util.Set;

import org.jbpt.petri.IFlow;
import org.jbpt.petri.IMarking;
import org.jbpt.petri.INode;
import org.jbpt.petri.IPlace;
import org.jbpt.petri.ITransition;

public interface IBehavioralQuerying, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> {
	
	/**
	 * 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.
	 * 
	 * @param setOfLabels Set of labels.
	 * @return 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.
	 */
	public boolean canOccurAll(Set setOfLabels);
	
	public boolean cannotOccurAll(Set setOfLabels);
	
	public boolean canOccurOne(Set setOfLabels);
	
	public boolean cannotOccurOne(Set setOfLabels);
	
	public boolean canOccurAllExpanded(Set> setsOfLabels);
	
	public boolean cannotOccurAllExpanded(Set> setsOfLabels);
	
	public boolean canOccurOneExpanded(Set> setsOfLabels);
	
	public boolean cannotOccurOneExpanded(Set> setsOfLabels);
}