Uses of Class
br.uerj.petrinetanalyzer.engine.PetriNetState

Packages that use PetriNetState

br.uerj.petrinetanalyzer.engine
br.uerj.petrinetanalyzer.gui

Uses of PetriNetState in br.uerj.petrinetanalyzer.engine

Methods in br.uerj.petrinetanalyzer.engine that return PetriNetState

PetriNetState

PetriNetAnalyzer.createNewState(javax.swing.tree.DefaultMutableTreeNode nodeX, int transicao) Cria um Novo Estado para a árvore de alcançabilidade.

Methods in br.uerj.petrinetanalyzer.engine with parameters of type PetriNetState

static int	PetriNetAnalyzer.compareMarking(PetriNetState stateA, PetriNetState stateB) Método que compara a marcação de 2 estados recebidos como parâmetro.
void	PetriNetAnalyzer.verifyConservativa(PetriNetState stateX) Uma Rede é conservativa se o total de fichas na rede se mantém.
void	PetriNetAnalyzer.verifyLimite(PetriNetState stateX) Uma rede é limitada, se para todas as marcações acessíveis, o número de fichas em qualquer lugar da Rede não exceder K (inteiro - limite).
void	PetriNetAnalyzer.verifyProperties(PetriNetState stateX) Verifica várias propriedades da Rede de Petri.
void	PetriNetAnalyzer.verifyVivacidade(PetriNetState stateX) Uma rede é viva se pelo menos uma transição puder ser disparada, em qualquer estado, ou seja ela é morta, se chegar a algum estado que não tenha transições para disparar.

Uses of PetriNetState in br.uerj.petrinetanalyzer.gui

Methods in br.uerj.petrinetanalyzer.gui with parameters of type PetriNetState

java.lang.String

AnalyzerWindow.getStateInfo(PetriNetState state) Retorna String com as características do Estado.