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

import java.util.List;
import java.util.Set;

/**
 * Interface to a run (occurrence sequence) of an ({@link INetSystem}).
 * 
 * @author Artem Polyvyanyy
 */
public interface IRun, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> 
		extends List> {
	
	/**
	 * Get transitions that can fire and extend this run.
	 * 
	 * @return Set of possible extensions of this run.
	 */
	public Set getPossibleExtensions();
	
	/**
	 * Append transition to this run.
	 * 
	 * @param transition Transition to append.
	 * @return true if transition was appended; otherwise false.
	 */
	public boolean append(T transition);
	
	/**
	 * Clone this run.
	 * 
	 * @return Clone of this run.
	 */
	public IRun clone();
	
	/**
	 * Set net system of this run.  
	 * 
	 * @param system Net system to use as the originative system of this run.
	 */
	public void setNetSystem(INetSystem system);
}