org.jbpt.automaton.IStateTransition 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
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.graph.abs.IDirectedEdge;
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 IStateTransition, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> extends IDirectedEdge {
public T getTransition();
public void setTransition(T t);
public String getSymbol();
public void setSymbol(String t);
public boolean isSilent();
public boolean isObservable();
}