org.jbpt.petri.querying.IStructuralQuerying 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 IStructuralQuerying, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> {
	
	public boolean areModeledAll(Set setOfLabels);
	
	public boolean areModeledAllExpanded(Set> setsOfLabels);
	
	public boolean isModeledOne(Set setOfLabels);
}