org.jbpt.automaton.IAutomaton 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 java.util.Set;
import org.jbpt.graph.abs.IDirectedGraph;
import org.jbpt.petri.IFlow;
import org.jbpt.petri.IMarking;
import org.jbpt.petri.INetSystem;
import org.jbpt.petri.INode;
import org.jbpt.petri.IPlace;
import org.jbpt.petri.ITransition;
/**
* @author Artem Polyvyanyy
*/
public interface IAutomaton, S extends IState, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking>
extends IDirectedGraph {
public boolean isComplete();
public boolean isReachable(M marking);
public boolean isReachable(M fromMarking, M toMarking);
public INetSystem getNetSystem();
public Set getStates();
public Set getStateTransitions();
public void construct(INetSystem sys, int maxSize);
public S getStartState();
}