org.jbpt.petri.unfolding.order.IAdequateOrder 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.unfolding.order;

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;
import org.jbpt.petri.unfolding.IBPNode;
import org.jbpt.petri.unfolding.ICondition;
import org.jbpt.petri.unfolding.IEvent;
import org.jbpt.petri.unfolding.ILocalConfiguration;

/**
 * Interface to an adequate order on local configurations.
 *
 * @author Artem Polyvyanyy
 */
public interface IAdequateOrder, C extends ICondition, E extends IEvent, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> {
	
	/**
	 * Compare two local configurations.
	 * 
	 * @param lc1 A local configuration.
	 * @param lc2 A local configuration.
	 * @return true if 'lc1' is smaller than 'lc2'; otherwise false.
	 */
	public boolean isSmaller(ILocalConfiguration lc1, ILocalConfiguration lc2);
	
	public boolean isTotal();
}