org.jbpt.automaton.IState 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.automaton;

import org.jbpt.hypergraph.abs.IVertex;
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;

/**
 * @author Artem Polyvyanyy
 */
public interface IState, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking>
		extends IVertex {
	
	/**
	 * Get marking associated with this state.
	 * 
	 * @return Marking associated with this state.
	 */
	public M getMarking();
	
	/**
	 * Set marking associated with this state.
	 * 
	 * @param marking A marking to associate with this state.
	 */
	public void setMarking(M marking);
	
}