org.jbpt.petri.unfolding.IEvent 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.IFlow;
import org.jbpt.petri.IMarking;
import org.jbpt.petri.INode;
import org.jbpt.petri.IPlace;
import org.jbpt.petri.ITransition;

/**
 * Interface to an event of a branching process.
 * 
 * @author Artem Polyvyanyy
 */
public interface IEvent, C extends ICondition, E extends IEvent, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> 
	extends IBPNode {
	/**
	 * Get post conditions of this event.
	 * 
	 * @return Post conditions.
	 */
	public ICoSet getPostConditions();

	/**
	 * Get the transition that corresponds to this event.
	 * 
	 * @return Corresponding transition.
	 */
	public T getTransition();

	/**
	 * Get preconditions of this event.
	 * 
	 * @return Preconditions.
	 */
	public ICoSet getPreConditions();
	
	public void setTransition(T transition);
	
	public void setPreConditions(ICoSet preConditions);
	
	public void setPostConditions(ICoSet postConditions);
	
	public void setCompletePrefixUnfolding(ICompletePrefixUnfolding cpf);
	
	public ILocalConfiguration getLocalConfiguration();
}