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


/**
 * Interface to a Petri net transition.
 *
 * @author Artem Polyvyanyy
 */
public interface ITransition extends INode {
	/**
	 * Check if this transition is silent.
	 * 
	 * @return true if label of this transition is the empty string; otherwise false.
	 */
	public boolean isSilent();

	/**
	 * Check if this transition is observable.
	 * 
	 * @return true if label of this transition is not the empty string; otherwise false.
	 */
	public boolean isObservable();
	
	/**
	 * Clone this transition.
	 */
	public ITransition clone();
}