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

import org.jbpt.petri.INode;

public interface IOrderingRelationsDescriptor, N extends INode> {
	/**
	 * Get ordering relation between two nodes of this branching process.
	 * 
	 * @param n1 Node of this branching process.
	 * @param n2 Node of this branching process.
	 * @return Ordering relation between 'n1' and 'n2', see {@link OrderingRelationType}.
	 */
	public OrderingRelationType getOrderingRelation(BPN n1, BPN n2);

	/**
	 * Check if two nodes of this branching process are in the causal relation.
	 * 
	 * @param n1 Node of this branching process.
	 * @param n2 Node of this branching process.
	 * @return true if 'n1' and 'n2' are in the causal relation; otherwise false.
	 */
	public boolean areCausal(BPN n1, BPN n2);

	/**
	 * Check if two nodes of this branching process are in the inverse causal relation.
	 * 
	 * @param n1 Node of this branching process.
	 * @param n2 Node of this branching process.
	 * @return true if 'n1' and 'n2' are in the inverse causal relation; otherwise false.
	 */
	public boolean areInverseCausal(BPN n1, BPN n2);

	/**
	 * Check if two nodes of this branching process are concurrent.
	 * 
	 * @param n1 Node of this branching process.
	 * @param n2 Node of this branching process.
	 * @return true if 'n1' and 'n2' are concurrent; otherwise false.
	 */
	public boolean areConcurrent(BPN n1, BPN n2);

	/**
	 * Check if two nodes of this branching process are in conflict.
	 * 
	 * @param n1 Node of this branching process.
	 * @param n2 Node of this branching process.
	 * @return true if 'n1' and 'n2' are in conflict; otherwise false.
	 */
	public boolean areInConflict(BPN n1, BPN n2);
}