Index (JSARP - Simulador/Analisador de Redes de Petri)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

A B C D E F G I J L M N O P R S T U V W X Y Z

A

ABOUT_MSG_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ABOUT_MSG_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ABOUT_MSG_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ABOUT_MSG_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ABOUT_MSG_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ABOUT_MSG_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
AbstractActionListener - Class in br.uerj.petrinetanalyzer.gui.listener: Classe para auxiliar no tratamento de eventos do programa.
AbstractActionListener() - Constructor for class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener
accept(File) - Method in class br.uerj.FileFilter.FileFilterXML: Método que descreve quais tipos de arquivos são aceitos por esse filtro.
actionPerformed(ActionEvent) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Implementação da Interface ActionListener.
addArco(ArcBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Adiciona um Arco a Rede de Petri.
addArco(ArcBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
addArco(ArcGraph) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Adiciona Arco.
addDeadLock(int[], int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Adiciona uma seqüência de disparos que levam a Rede a um estado de DeadLock, e qual o identificador do Estado final.
addEstado(int[], int[], boolean[]) - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Adiciona um estado novo estado de marcações e transições disparáveis.
addLabel(Label) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Adiciona Rótulo.
addLabel(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Adiciona um rótulo caso o ponto clicado esteja fora de algum objeto existente.
addLugar(PlaceBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Adiciona um Lugar a Rede de Petri.
addLugar(PlaceBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
addLugar(PlaceGraph) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Adiciona Lugar.
addObject(DefaultMutableTreeNode, Object) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Adiciona um novo nó na árvore de seqüência de disparos.
addObject(DefaultMutableTreeNode, Object) - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Adiciona um novo nó na árvore de seqüência de disparos.
addPlace(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Adiciona um Lugar caso o ponto clicado esteja fora de algum objeto existente.
addPoint(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Adiciona um ponto ao arco.
addPointArc(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seta um ponto intermediário do arco.
addString(String, String) - Static method in class br.uerj.language.LanguageTool: Adiciona o par Chave e Conteúdo a Map.
addTrans(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Adiciona uma Transição caso o ponto clicado esteja fora de algum objeto existente.
addTransicao(TransitionBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Adiciona uma Transicao a Rede de Petri.
addTransicao(TransitionBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
addTransicao(TransitionGraph) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Adiciona transição.
addTreeNodeState(TreeNodeState) - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Adiciona um novo nó a árvore de seqüência de disparos.
ALTURA - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
ALTURA_LETRA - Static variable in class br.uerj.petrinetanalyzer.gui.objects.Label
AN_ERROR_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_04 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_04_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_TITLE - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_ERROR_TITLE_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_04 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_04_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_05 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_05_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_06 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
AN_INFO_06_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
anAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
AnalyzerAction - Class in br.uerj.petrinetanalyzer.gui.listener: Classe que implementa a area de desenho da rede de petri.
AnalyzerAction(ImplPetriNetBase) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction: Construtor.
analyzerEngine - Variable in class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction
analyzerPetriNet() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Trata evento de Análise das Propriedades da Rede de Petri
AnalyzerWindow - Class in br.uerj.petrinetanalyzer.gui: Define a janela com o resultado da verificação das propriedades da Rede de Petri.
AnalyzerWindow(ImplPetriNetBase, JTree, PetriNetProperties) - Constructor for class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas.
anWindow - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
anWindow - Variable in class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction
anWindowKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
arc - Variable in class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener
arcAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
ArcActionListener - Class in br.uerj.petrinetanalyzer.gui.listener: Classe que Trata dos eventos relacionados ao Painel com Informações de Arco.
ArcActionListener(MainWindow) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener: Construtor.
ArcBase - Class in br.uerj.petrinetanalyzer.common: Esta classe é a classe base para definição de Arcos (Arcs) em Redes de Petri.
ArcBase(int, PlaceBase, TransitionBase, boolean) - Constructor for class br.uerj.petrinetanalyzer.common.ArcBase: Construtor de ArcBase.
ArcBase(PlaceBase, TransitionBase, boolean) - Constructor for class br.uerj.petrinetanalyzer.common.ArcBase: Construtor de ArcBase.
ArcBase() - Constructor for class br.uerj.petrinetanalyzer.common.ArcBase: Construtor default de ArcBase.
ArcGraph - Class in br.uerj.petrinetanalyzer.gui.objects: Esta classe é a classe para definição de Arcos (Arcs) em Redes de Petri.
ArcGraph() - Constructor for class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Construtor default
arco - Variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Arco a ser desenhado
arrFireSequence - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Array com a seqüência de disparos.
arrMarking - Variable in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Array de marcações de Lugar.
arrMarking - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Array de marcações dos Lugares na rede.
arrTransFire - Variable in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Array informando se a transição está ou não habilitada para disparo.
arrTransFire - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Array informando se a transição está ou não habilitada para disparo.
atual - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow

B

backTreeStateNode() - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Volta um nó na árvore de seqüência de disparos.
boxExponencialKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
boxNormalKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
boxTransCurvaDensidade - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
boxTransCurvaDensidadeKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
boxTransDensidadeExponencial - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
boxTransDensidadeNormal - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
boxTransDensidadeUniforme - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
boxUniformeKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
br.uerj.FileFilter - package br.uerj.FileFilter
br.uerj.language - package br.uerj.language
br.uerj.petrinetanalyzer.common - package br.uerj.petrinetanalyzer.common
br.uerj.petrinetanalyzer.common.interfaces - package br.uerj.petrinetanalyzer.common.interfaces
br.uerj.petrinetanalyzer.engine - package br.uerj.petrinetanalyzer.engine
br.uerj.petrinetanalyzer.gui - package br.uerj.petrinetanalyzer.gui
br.uerj.petrinetanalyzer.gui.interfaces - package br.uerj.petrinetanalyzer.gui.interfaces
br.uerj.petrinetanalyzer.gui.listener - package br.uerj.petrinetanalyzer.gui.listener
br.uerj.petrinetanalyzer.gui.objects - package br.uerj.petrinetanalyzer.gui.objects
br.uerj.swing - package br.uerj.swing
btAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditArc - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditArc - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditArcKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditDelete - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditDelete - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditDeleteKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditLabel - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditLabel - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditLabelKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditPlace - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditPlace - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditPlaceKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditSeta - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditSeta - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditSetaKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditTrans - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btEditTrans - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btEditTransKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btSimBack - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btSimBack - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btSimBackKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btSimStart - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btSimStart - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btSimStartKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btSimStop - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
btSimStop - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
btSimStopKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
builder - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
builder - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
builder - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
buildMatrizEntradaAndSaida() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Constrói as Matrizes de Entrada e Saída.
buildMatrizEntradaAndSaida() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
buildMatrizIncidencia() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Constrói a Matriz de Incidência a partir das matrizes de Entrada e Saída.
buildMatrizIncidencia() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
ButtonActionListener - Class in br.uerj.petrinetanalyzer.gui.listener: Trata os eventos de botões.
ButtonActionListener(MainWindow) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Construtor que recebe a janela que possui os eventos a serem processados.

C

canFireTransition(int) - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Verifica se determinada transição pode ser disparada, após o último disparo.
cc - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
cc - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
cc - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
changeAtualForSelectedState() - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Altera o Estado atual para o selecionado.
changeLanguage(String) - Static method in class br.uerj.language.LanguageTool: Seta o idioma a ser usado passando o nome do arquivo properties a ser consultado.
cleanInfoPanel() - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Limpa os painéis de informação.
closeSimulationWindow() - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Fecha a janela de simulação.
compareMarking(PetriNetState, PetriNetState) - Static method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Método que compara a marcação de 2 estados recebidos como parâmetro.
completeWithSpaces(String, int) - Static method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Método que completa com espaços à esquerda a String recebida como parâmetro.
COMPRIMENTO - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
cor - Static variable in class br.uerj.petrinetanalyzer.gui.objects.Label
cp - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
cp - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
cp - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
createArcPanel() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria os objetos do painel de informações de Arco
createButtons() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Método que cria os botões da janela principal
createEditorPanel() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria os objetos referentes ao Painel de desenho de Redes de Petri
createJButton(String, String) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria um JButton com a chave passada como parâmetro e o adiciona a uma Map.
createJLabelDefault(String, String) - Static method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria um JLabel com configuração default.
createJLabelTitle(String, String) - Static method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria um JLabel com configuração de default para título.
createJTextFieldDefault(String) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria JTextField com configuração default.
createNewState(DefaultMutableTreeNode, int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Cria um Novo Estado para a árvore de alcançabilidade.
createPanelInfo() - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Cria painel com as informações do estado selecionado.
createPanelTree(JTree) - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Cria o painel com a árvore mostrando a seqüência de disparos.
createPanelTree(TreeNodeState) - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Cria o painel com a árvore mostrando a seqüência de disparos.
createPlaceInfoPanel() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria os objetos do painel de informações da Lugar
createPnPanelInfo() - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Cria painel com as informações do estado selecionado.
createState(int[], int[], boolean[]) - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Cria um novo Estado
createStatePanelInfo() - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Cria painel com as informações do estado selecionado.
createStatusBar() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Método que cria a Barra de Status
createTransitionPanel() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Cria os objetos do painel de informações de Transição
currentState - Variable in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction
curvaDensidade - Variable in class br.uerj.petrinetanalyzer.common.TransitionBase: Curva de Densidade de probabilidade: Altera o modo como será interpretado os valores de SEFT e SLFT Seu domínio é: UNIFORME=0, NORMAL=1 e EXPONENCIAL=2.
cycleExtremePoint() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Rotaciona o Ponto Extremo ao redor do círculo que representa o Lugar.
cycleOrientation() - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Rotaciona a orientação.

D

defaultFont - Static variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
deleteObject(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Deleta objeto de rede de petri desenhado na tela.
deselectArc() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Deseleciona o Arco.
deselectLabel() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Deseleciona o Rótulo.
deselectPlace() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Deseleciona o Lugar.
deselectTransition() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Deseleciona a Transição.
desenhaArco(Graphics, ArcGraph) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Desenha cada arco da rede de petri.
desenhaArcos(Graphics) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Desenha os arcos da rede de petri.
desenhaLugares(Graphics) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Método que desenha os Lugares da Rede de Petri na tela.
desenhaPontaSeta(Graphics, int, int, int, int) - Static method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Desenha a ponta da Seta do arco.
desenhaRotulos(Graphics) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Método que desenha o rótulo na janela de desenho
desenhaTransicao(Graphics) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Método que desenha as Transições da Rede de Petri na tela.
disableArcInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener: Desabilita os botões do painel de informações de Arco.
disableEditButton() - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Desabilita botões de edição.
disablePlaceInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Desabilita os botões do painel de informações do Lugar.
disableSimulationButton() - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Desabilita alguns dos botões de simulação.
disableTransitionInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Desabilita os botões do painel de informações de Transição.
disparaTransicao(int) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfSimulator: Dispara transição indicada pela posição.
disparaTransicao(int) - Method in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Dispara transição indicada pela posição.
distance(double, double) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Calcula a distância do Lugar para um ponto recebido como parâmetro.
distance(double, double) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Calcula a distância da transição até um ponto fornecido como parâmetro.
DiSTANCIA_MAX - Static variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
DRAW_ARC - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants: Constantes referentes ao desenho do arco

E

EDIT_ARC - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
EDIT_DELETE - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
EDIT_LABEL - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
EDIT_LUGAR - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
EDIT_MOUSE - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
EDIT_TRANS - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
editArc() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata o evento vindo do botão de edição Arco.
editDelete() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata o evento vindo do botão de edição Apagar.
editLabel() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata o evento vindo do botão de edição Rótulo.
editMouse() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata o evento vindo do botão de edição Seta.
editor - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
editPlace() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata o evento vindo do botão de edição Lugar.
editTransition() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata o evento vindo do botão de edição Transição.
ehConservativa() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties: Informa se a Rede é ou não conservativa.
ehConservativa - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a rede é ou não conservativa.
ehConservativa() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a Rede é ou não conservativa.
ehEntrada - Variable in class br.uerj.petrinetanalyzer.common.ArcBase: Variável que informa se o arco é de entrada.
ehLimitada() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties: Informa se a Rede é ou não limitada.
ehLimitada - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a rede é ou não limitada.
ehLimitada() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a Rede é ou não limitada.
ehViva() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties: Informa se a Rede é ou não viva.
ehViva - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a rede é ou não viva.
ehViva() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a Rede é ou não viva.
enableArcInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener
enableEditButton() - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Habilita botões de edição.
enablePlaceInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Habilita os objetos do painel de informações de Lugar.
enableSimulationButton() - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Habilita os botões de simulação.
enableTransInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Habilita os objetos do painel de informações de Transição.
equals(Object) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Verifica se o objeto recebido como parâmetro é igual ao objeto chamador do método.
equals(Object) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Verifica se o objeto recebido como parâmetro possui estado igual ao chamador.
equals(Object) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Verifica se o objeto passado como parâmetro é igual ao objeto.
equals(Object) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Verifica se o objeto passado como parâmetro é igual ao objeto.
equals(Object) - Method in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Sobrescreve o método equals.
eraseArc() - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Limpar o arco que está sendo desenhado.
ERROR_CODE - Static variable in interface br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants
ERROR_MSG_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_04 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
ERROR_MSG_04_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
EXPONENCIAL - Static variable in class br.uerj.petrinetanalyzer.common.TransitionBase
EXTENSION_XML - Static variable in class br.uerj.FileFilter.FileFilterXML: Descreve extensão de arquivo XML.
extreme - Variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
EXTREMO_LESTE - Static variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
EXTREMO_NORTE - Static variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
EXTREMO_OESTE - Static variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
EXTREMO_SUL - Static variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph

F

fichas - Variable in class br.uerj.petrinetanalyzer.common.PlaceBase: Informa o número de fichas no Lugar.
fieldArcPlace - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldArcPlaceKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
fieldArcTrans - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldArcTransKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
fieldPlaceNome - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldPlaceNomeKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
fieldStatus - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldStatusKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
fieldTransName - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldTransNameKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
fieldTransSeft - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldTransSeftKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
fieldTransSlft - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
fieldTransSlftKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
file - Variable in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener
FILE_SAVE - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants: Constantes referentes ao objeto selecionado na edicao
FileFilterUtil - Class in br.uerj.FileFilter: Classe com métodos estáticos para auxiliar manipulação de arquivos.
FileFilterUtil() - Constructor for class br.uerj.FileFilter.FileFilterUtil
FileFilterXML - Class in br.uerj.FileFilter: Classe que define um filtro para arquivos XML.
FileFilterXML() - Constructor for class br.uerj.FileFilter.FileFilterXML
fireSequence - Variable in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Lista com a sequência de disparos
focusGained(FocusEvent) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Implementa a interface FocusListener.
focusLost(FocusEvent) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Implementa a interface FocusListener.
focusLostPerformed() - Method in class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener: Trata eventos relacionados a perda de foco de algum objeto do painel de informações de Lugar.
focusLostPerformed() - Method in class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Trata eventos relacionados a perda de foco de algum objeto do painel de informações de Lugar.
focusLostPerformed() - Method in class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Trata eventos relacionados a perda de foco de algum objeto do painel de informações de Lugar.
font - Static variable in class br.uerj.petrinetanalyzer.gui.objects.Label
fontCor - Static variable in class br.uerj.petrinetanalyzer.gui.objects.Label

G

geraArvore(DefaultMutableTreeNode) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Função recursiva, que vai varrendo a árvore que vai sendo criada, e processando seus nós.
geraArvoreAlcancabilidade() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Gera a arvore de alcançabilidade da Rede de Petri e verifica propriedades.
getArc(int) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna instância de Arco especificada pela posição se existir, caso contrário retorna null.
getArc(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna o Arco através da posição.
getArrFireSequence() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna o Array com a Seqüência de disparos.
getArrMarking() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o array de marcações na forma de Array de inteiros.
getArrMarking() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna o array de marcações de Lugar.
getArrTransFire() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna Array boleano informando se a transição está ou não disponível.
getAuxPoint(Point, Point, int) - Static method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna um Ponto a uma distância Delta do último ponto do segmento de reta fornecido.
getAuxPoint(Point, Point, int, int) - Static method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna um Ponto a uma distância Delta do último ponto do segmento de reta fornecido.
getColor() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Retorna a cor do retângulo que envolve o rótulo
getCurvaDensidade() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna a Curva de Densidade de Probabilidade.
getDeadLockState(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Retorna o Estado final de uma seqüência de disparo que levou a rede a deadlock.
getDescription() - Method in class br.uerj.FileFilter.FileFilterXML: Retorna a descrição para esse tipo de arquivo
getDimensao() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna dimensao das matrizes que representam a Rede de Petri.
getDimensao() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getEndPoint() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna o ponto do objeto final do arco.
getExtensionOfFile(File) - Static method in class br.uerj.FileFilter.FileFilterUtil: Retorna a extensão do arquivo, ou seja, a String após o último ".".
getExtremeLeste() - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o Ponto Extremo Leste do Lugar.
getExtremeNorte() - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o Ponto Extremo Norte do Lugar.
getExtremeOeste() - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o Ponto Extremo Oeste do Lugar.
getExtremePoint(Point) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o Ponto Extremo (Sul, Norte, Leste ou Oeste), o que for mais próximo do ponto recebido como parâmetro.
getExtremeSul() - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o Ponto Extremo Sul do Lugar.
getFichas() - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Retorna o número de fichas do lugar.
getFichas(int) - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Retorna a quantidade de fichas em um determinado lugar, após o último disparo.
getFireSequence() - Method in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Retorna seqüência de disparos.
getFireSequenceDeadLock(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Retorna a seqüência de disparos que levam a deadlock especificados pela posição.
getFont() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Retorna a fonte usada no texto.
getFontColor() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Retorna a cor da fonte do texto.
getIdentificador() - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Retorna identificador.
getIdentificador() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna identificador.
getIdentificador() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna o Identificador.
getIgualAoEstado() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna qual o Estado do qual este é duplicata.
getLabel(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna o Rótulo da posição desejada.
getLargura() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label
getLimite() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties: Retorna o Limite da Rede.
getLimite() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Retorna o Limite da Rede.
getLimite() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna o maximo de fichas encontrados em algum Lugar da Rede.
getListArcos() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o ArrayList com todos os Arcos da Rede de Petri.
getListArcos() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getListLugar() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o ArrayList com todos os Lugares da Rede de Petri.
getListLugar() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getListMarcacao() - Method in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Pega lista de marcações dos Lugares.
getListPoint() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna a Lista de Pontos.
getListTransFire() - Method in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Pega Lista de Transições habilitadas para disparo
getListTransicao() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o ArrayList com todas as Transições da Rede de Petri.
getListTransicao() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getLugar() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna uma instância de PlaceBase que é o Lugar ligado ao Arco.
getLugar(String) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna instância do Lugar especificado pelo nome se existir, caso contrário retorna null.
getLugar(int) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna instância do Lugar especificado pela sua posição se existir, caso contrário retorna null.
getLugar(String) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getLugar(int) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getMarcacoes() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfSimulator: Retorna array com as marcações dos lugares, após o disparo de uma transição
getMarcacoes() - Method in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Retorna array com as marcações dos lugares, após o disparo de uma transição
getMarking(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna marcação do Lugar na posição especificada.
getMatrizEntrada() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna a matriz de Entrada.
getMatrizEntrada() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getMatrizEntrada(int[][], int, int) - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Transforma a Matriz de Entrada para o formato de String
getMatrizIncidencia() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna matriz de Incidência.
getMatrizIncidencia() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getMatrizIncidencia(int[][], int, int) - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Transforma a Matriz de Incidência para o formato de String
getMatrizSaida() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna a matriz de Saída.
getMatrizSaida() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getMatrizSaida(int[][], int, int) - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Transforma a Matriz de Saída para o formato de String
getModo() - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Retorna o modo de operação do programa.
getNome() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o nome da Rede de Petri.
getNome() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getNome() - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Retorna o nome do Lugar.
getNome() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna o nome da Transição.
getNomeRedePetri() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties: Retorna o nome da Rede de Petri
getNomeRedePetri() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Retorna o nome da Rede de Petri
getNumArco() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o número de Arcos da Rede de Petri.
getNumArco() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getNumLabel() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna o total de rótulos existentes no array de rótulos.
getNumLugar() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o número de Lugares da Rede de Petri.
getNumLugar() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getNumPoints() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna o número de pontos do arco.
getNumTransicao() - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna o número de Transições da Rede de Petri.
getNumTransicao() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getObjectEnd() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna Objeto destino do arco.
getObjectPosition(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna o objeto nas proximidades da posição dada, caso exista senão retorna null.
getObjectStart() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna o Objeto que é origem do arco.
getOrientation() - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Retorna a Orientação.
getPeso() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna o peso do Arco.
getPetriNetGraph() - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Retorna a instância de PetriNetGraph usada para simulação.
getPlace(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna Lugar através da posição.
getPlace(String) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna Lugar através do nome.
getPoint(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna o Ponto na posição especificada na Lista de Pontos.
getPontoInicial() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Retorna o ponto superior esquerdo.
getPontoSupEsquerdo() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label
getPosicao() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna a posição do Arco na Lista de Arcos
getPosicao() - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Retorna a posição do Lugar na matriz.
getPosicao() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna a posição da Transição na matriz.
getPosicao() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Retorna a posição do rótulo no array de rótulos.
getProperties() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Retorna as Propriedades encontradas na Rede.
getSEFT() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna o Static Earliest Firing Time.
getSelectedArc() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna o Arco correntemente selecionado
getSelectedLabel() - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph
getSelectedState() - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Retorna o Estado selecionado.
getSLFT() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna o Static Latest Firing Time.
getStartPoint() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna o ponto do objeto inicial do arco.
getStateInfo(PetriNetState) - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Retorna String com as características do Estado.
getStateInfo(TreeNodeState) - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Retorna String com as características do Estado.
getStateType() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna o tipo de Estado STATE_FRONTEIRA STATE_DUPLICADO STATE_INTERIOR STATE_TERMINAL
getStrExtreme() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Retorna String informando qual o valor do Extremo.
getString(String) - Static method in class br.uerj.language.LanguageTool: Retorna String para chave fornecida, buscando no arquivo de properties do idioma selecionado.
getStrProperties() - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Pega as Propriedades da Rede de Petri.
getSubModo() - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Retorna Sub-modo de operação do programa.
getTextKey() - Method in class br.uerj.swing.JTextFieldExtended: Retorna o valor da chave.
getTexto() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Retorna o texto do rótulo.
getTotalDeadLockStates() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Retorna o total de estados de deadlock
getTotalFichas() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Retorna o total de fichas na rede quando ela é conservativa.
getTotalMarking() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna a soma das marcações dos Lugares.
getTotalState() - Static method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna o total de Estados.
getTransicao() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna uma instância de TransitionBase que é a Transição ligada ao Arco.
getTransicao(String) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna instância da Transição especificada pelo nome se existir, caso contrário retorna null.
getTransicao(int) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Retorna instância da Transição especificada pela posição se existir, caso contrário retorna null.
getTransicao(String) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getTransicao(int) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
getTransicoesDisponiveis() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfSimulator: Array boleano informando se a transição está ou não habilitada.
getTransicoesDisponiveis() - Method in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Uma transição está habilitada se, todos os Lugares de Entrada da Transição possuirem fichas maior ou igual ao peso do arco, que liga até a transição.
getTransition(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna Transição através da posição.
getTransition(String) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna Transição através do Nome.
getTree() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Retorna a Árvore de Alcançabilidade.
getWindow() - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Retorna a instância de MainWindow.
getX() - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o valor da coordenada x.
getX() - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Retorna o valor da coordenada x.
getY() - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Retorna o valor da coordenada y.
getY() - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Retorna o valor da coordenada y.
goToEstado() - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Faz com que a rede seja atualizada para ir para o Estado selecionado.

I

identificador - Variable in class br.uerj.petrinetanalyzer.common.PlaceBase: Para ser usado no lugar do nome.
identificador - Variable in class br.uerj.petrinetanalyzer.common.TransitionBase: Para ser usado no lugar do nome.
identificador - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Identificador do Estado, recebe o valor de um contador estático que é incrementado a cada estado criado.
igualAoEstado - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Informa a qual estado é igual se ele for do tipo STATE_DUPLICADO
ImplPetriNetBase - Class in br.uerj.petrinetanalyzer.common: Classe base para definição de Redes de Petri.
ImplPetriNetBase() - Constructor for class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Construtor default
ImplSimulator - Class in br.uerj.petrinetanalyzer.engine: Implementa a engine do funcionamento da simulação.
ImplSimulator(ImplPetriNetBase) - Constructor for class br.uerj.petrinetanalyzer.engine.ImplSimulator: Construtor que recebe como parâmetro a Rede de Petri a ser simulada
inArc(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Verifica seu o Ponto está em no arco
infEsq - Variable in class br.uerj.petrinetanalyzer.gui.objects.Label
inLabel(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Verifica se o ponto recebido como parâmetro está sobre o rótulo.
inPlace(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Verifica se o ponto dado está ou não no Lugar.
inputTextLabel() - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas
inRect(Point, Point, Point) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Verifica se o Ponto dado está no segmento de reta, que compõe o arco.
IntfAnalyzer - Interface in br.uerj.petrinetanalyzer.common.interfaces: Interface base para o Analisador de Redes de Petri
IntfEngineConstants - Interface in br.uerj.petrinetanalyzer.common.interfaces: Classe com constantes a serem usadas para a Engine de Analise.
IntfLanguageAnalyzerConstants - Interface in br.uerj.petrinetanalyzer.gui.interfaces: Define String constantes que serão exibidas na tela para o Editor/Simulador de Redes de Petri.
IntfLanguageConstants - Interface in br.uerj.petrinetanalyzer.gui.interfaces: Define String constantes que serão exibidas na tela para o Editor/Simulador de Redes de Petri
IntfLanguageSimulationConstants - Interface in br.uerj.petrinetanalyzer.gui.interfaces: Define String constantes que serão exibidas na tela para o Editor/Simulador de Redes de Petri.
IntfMainConstants - Interface in br.uerj.petrinetanalyzer.gui.interfaces: Define o Programa Principal.
IntfPetriNetBase - Interface in br.uerj.petrinetanalyzer.common.interfaces: Interface base para definição de Redes de Petri.
IntfPetriNetProperties - Interface in br.uerj.petrinetanalyzer.common.interfaces: Interface que trata das Propriedades de uma Rede de Petri.
IntfSimulator - Interface in br.uerj.petrinetanalyzer.common.interfaces: Esta Interface trata dos principais métodos que a engine do simulador deve ter disponível para a interação com a interface gráfica.
inTransition(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Verifica se o ponto está na transição.
isEqual(Object) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Verifica se o objeto recebido como parâmetro é igual ao objeto chamador do método.

J

JTextFieldExtended - Class in br.uerj.swing: Herda de JTextField, para usar suporte Multilingue mais facilmente.
JTextFieldExtended(String) - Constructor for class br.uerj.swing.JTextFieldExtended

L

Label - Class in br.uerj.petrinetanalyzer.gui.objects: Classe de definição dos rótulos e texto livre a ser colocado no desenho das redes de Petri.
Label(int, int, int) - Constructor for class br.uerj.petrinetanalyzer.gui.objects.Label: Contrutor que recebe as coordendadas do ponto superior esquerdo.
langProperties - Static variable in class br.uerj.language.LanguageTool: Objeto Properties com o mapeamento Chave e Conteúdo
LanguageTool - Class in br.uerj.language: Classe Auxiliar para suporte multilingue.
LanguageTool() - Constructor for class br.uerj.language.LanguageTool
largura - Variable in class br.uerj.petrinetanalyzer.gui.objects.Label
LARGURA_LETRA - Static variable in class br.uerj.petrinetanalyzer.gui.objects.Label
layout - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
layout - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
layout - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
lbAnalyzerTree - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
lbAnalyzerTree - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
lbAnalyzerTreeKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
lbArcInfo - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcInfo - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbArcInfoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcPeso - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcPeso - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbArcPesoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcPlace - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcPlace - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbArcPlaceKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcTrans - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbArcTrans - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbArcTransKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbInfo - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
lbInfo - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
lbInfoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
lbPlaceFichas - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbPlaceFichas - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbPlaceFichasKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbPlaceInfo - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbPlaceInfo - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbPlaceInfoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbPlaceName - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbPlaceName - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbPlaceNameKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbPnInfo - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
lbPnInfo - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
lbPnInfoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
lbStateInfo - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
lbStateInfo - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
lbStateInfoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
lbTransCurvaDensidade - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransCurvaDensidade - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbTransCurvaDensidadeKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransInfo - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransInfo - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbTransInfoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransName - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransName - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbTransNameKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransSeft - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransSeft - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbTransSeftKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransSlft - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTransSlft - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
lbTransSlftKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
lbTree - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
lbTree - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
lbTreeKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
limite - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Limite da rede, caso ela seja limitada.
limite - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Máximo de fichas encontrado em algum lugar da rede.
listArco - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
listDeadLock - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Array com as seqüências de disparos que levam a deadlock.
listDeadLockStates - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Array com os Estados finais após a seqüência de disparos, estados de deadlock.
listLabel - Variable in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph
listLugar - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
listPoint - Variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
listTransFire - Variable in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Lista booleana informando quais transições podem ser diparadas.
listTransicao - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
loadPropertiesLanguage() - Static method in class br.uerj.language.LanguageTool: Carrega o arquivo properties com o idioma escolhido
lugar - Variable in class br.uerj.petrinetanalyzer.common.ArcBase: Lugar ligado ao Arco.

M

m1English - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1English - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1EnglishKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Exit - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Exit - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1ExitKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Language - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Language - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1LanguageKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1New - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1New - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1NewKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Open - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Open - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1OpenKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Portugues - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Portugues - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1PortuguesKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Save - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1Save - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1SaveAs - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1SaveAs - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m1SaveAsKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m1SaveKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m2Back - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m2Back - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m2BackKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m2Start - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m2Start - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m2StartKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m2Stop - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m2Stop - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m2StopKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m3Geral - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m3Geral - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m3GeralKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m4About - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
m4About - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
m4AboutKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
main(String[]) - Static method in class br.uerj.petrinetanalyzer.gui.MainProgram: Método main.
MainProgram - Class in br.uerj.petrinetanalyzer.gui: Classe que implementa o método main, que instância a Janela Principal.
MainProgram() - Constructor for class br.uerj.petrinetanalyzer.gui.MainProgram
MainWindow - Class in br.uerj.petrinetanalyzer.gui: Define a Janela Principal para o Editor/Simulador de Redes de Petri Toda a parte gráfica
MainWindow() - Constructor for class br.uerj.petrinetanalyzer.gui.MainWindow: Construtor da Classe, monta a janela principal.
map - Static variable in class br.uerj.language.LanguageTool: Map que faz o mapeamento Chave e Conteúdo default Usada quando o properties não puder ser carregado ou alguma chave não for encontrada no properties
marcacao - Variable in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Lista de Lugares
matrizEntrada - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
matrizIncidencia - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
matrizSaida - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
matrizToString(int[][], int, int) - Static method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Transforma a Matriz recebida como parâmetro para forma de String
menu1File - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu1File - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
menu1FileKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu2Simulator - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu2Simulator - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
menu2SimulatorKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu3Analisys - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu3Analisys - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
menu3AnalisysKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu4About - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menu4About - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
menu4AboutKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
menuAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
MenuActionListener - Class in br.uerj.petrinetanalyzer.gui.listener: Define a Janela Principal para o Editor/Simulador de Redes de Petri Toda a parte gráfica
MenuActionListener(MainWindow) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Construtor.
menuBar - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
menuBarKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
modo - Static variable in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener
modo - Variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas
MODO_ANALISE - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
MODO_EDICAO - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants: Constantes dos modos de funcionamento do programa
MODO_SIMULACAO - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
montaMenu() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Monta o Menu da Janela Principal
montaPainel() - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Monta a janela.
montaPainel() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Método que desenha a janela principal
montaPainel() - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Monta a janela.
mouseClicked(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Invocado quando o mouse é clicado na área de desenho.
mouseEntered(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Invocado quando o mouse entra na área de desenho
mouseExited(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Invocado quando o mouse deixa a área de desenho
mousePressed(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Invocado quando o mouse é pressionado na área de desenho.
mouseReleased(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Invocado quando o mouse é largado na área de desenho.
moveLabel(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Move o retângulo do rótulo para uma nova posição X, Y.
moveObj - Variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Objeto a ser movido
moveObject(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Move o objeto clicado e liberado pelo mouse.
moveSelectedPoint(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Move o ponto Selecionado para a posição X Y recebida como parâmetro.

N

newFile() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Limpa a janela de edição e prepara para começar uma nova rede de petri.
nome - Variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
nome - Variable in class br.uerj.petrinetanalyzer.common.PlaceBase: Nome do Lugar (Opcional)
nome - Variable in class br.uerj.petrinetanalyzer.common.TransitionBase: Informa o nome da Transição (opcional)
nome - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Nome da Rede de Petri
NOME_REDE - Static variable in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase
NORMAL - Static variable in class br.uerj.petrinetanalyzer.common.TransitionBase

O

openFile() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Lê o arquivo em formato XML e o converte para Objeto rede de Petri.
openFileWindow() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Cria janela de diálogo para abrir o arquivo.
orientation - Variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
ORIENTATION_ALL - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
ORIENTATION_DIAGONAL1 - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
ORIENTATION_DIAGONAL2 - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
ORIENTATION_HORIZONTAL - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph
ORIENTATION_VERTICAL - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Constantes de Orientação do Desenho da Transição

P

paint(Graphics) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Sobrescreve o método paint.
performed(JButton) - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Invoca o método adequado dependendo de qual botão foi acionado
performed(JMenuItem) - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Através do nome do objeto verifica que ação deve tomar.
peso - Variable in class br.uerj.petrinetanalyzer.common.ArcBase: Informa o peso do arco, o default é 1.
PetriNetAnalyzer - Class in br.uerj.petrinetanalyzer.engine: Classe que cuida da engine da Análise da Rede de Petri
PetriNetAnalyzer(ImplPetriNetBase) - Constructor for class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Construtor que recebe a Rede de Petri como Parâmetro.
PetriNetEditorCanvas - Class in br.uerj.petrinetanalyzer.gui: Classe que implementa a area de desenho da rede de petri.
PetriNetEditorCanvas(MainWindow) - Constructor for class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Construtor.
PetriNetGraph - Class in br.uerj.petrinetanalyzer.gui.objects: Esta classe é a classe base para definição de Redes de Petri.
PetriNetGraph() - Constructor for class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Construtor.
PetriNetProperties - Class in br.uerj.petrinetanalyzer.engine: Possui métodos que retornam um conjunto de propriedades verificadas na Rede de Petri
PetriNetProperties() - Constructor for class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Construtor que seta inicialmente os valores com as caracteristicas da Rede de Petri.
PetriNetProperties(String) - Constructor for class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Construtor que seta inicialmente os valores com as caracteristicas da Rede de Petri.
PetriNetState - Class in br.uerj.petrinetanalyzer.engine: Classe que representa o Estado de uma Rede de Petri, para análise.
PetriNetState(int[], boolean[], boolean, int[]) - Constructor for class br.uerj.petrinetanalyzer.engine.PetriNetState: Construtor que recebe o array de marcações como parâmetro.
place - Variable in class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Lugar correntemente selecionado.
placeAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
PlaceActionListener - Class in br.uerj.petrinetanalyzer.gui.listener: Classe que Trata dos eventos relacionados ao Painel com Informações de Lugar
PlaceActionListener(MainWindow) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Construtor.
PlaceBase - Class in br.uerj.petrinetanalyzer.common: Esta classe é a classe base para definição de Lugares (Places) em uma Rede de Petri.
PlaceBase() - Constructor for class br.uerj.petrinetanalyzer.common.PlaceBase
PlaceBase(String, int, int) - Constructor for class br.uerj.petrinetanalyzer.common.PlaceBase: Construtor de PlaceBase.
PlaceBase(int, int) - Constructor for class br.uerj.petrinetanalyzer.common.PlaceBase: Construtor de PlaceBase.
PlaceBase(int) - Constructor for class br.uerj.petrinetanalyzer.common.PlaceBase: Construtor de PlaceBase.
PlaceGraph - Class in br.uerj.petrinetanalyzer.gui.objects: Esta classe é a classe para definição de Lugares (Places) em Redes de Petri.
PlaceGraph() - Constructor for class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Construtor default.
PlaceGraph(int, int, int) - Constructor for class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Construtor que recebe as coordenadas X e Y da posição do objeto na tela e a posição i no Array de Lugares da rede.
PlaceGraph(int) - Constructor for class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Construtor que recebe como parâmetro apenas a posição no Array de Lugares da Rede.
pn - Variable in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Rede de Petri a ser simulada.
pn - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
pn - Variable in class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction
pn - Variable in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction
pn - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow: Rede de Petri
pn - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
pnProp - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
posicao - Variable in class br.uerj.petrinetanalyzer.common.ArcBase: Posição do Arco na Lista de Arcos
posicao - Variable in class br.uerj.petrinetanalyzer.common.PlaceBase: Informa a posição do Lugar.
posicao - Variable in class br.uerj.petrinetanalyzer.common.TransitionBase: Informa a posição da Transição.
posicao - Variable in class br.uerj.petrinetanalyzer.gui.objects.Label
processNode(DefaultMutableTreeNode) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Processa o Nó da árvore de alcançabilidade Algoritmo: Seja o X o nó a ser processado. 1) Se existe um nó Y na árvore que não é fronteira e tem a mesma marcação que X.
PROP_INFO_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_04 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_04_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_05 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_05_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_06 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_06_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_07 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_07_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_08 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_08_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_09 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_09_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_10 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_10_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_11 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_11_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_12 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_12_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_13 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_13_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_14 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_14_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_15 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_INFO_15_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageAnalyzerConstants
PROP_LANGUAGE_FILE_DEFAULT - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
PROP_LANGUAGE_FILE_ENGLISH - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants: Arquivos properties com os idiomas suportados
PROP_LANGUAGE_FILE_PORT_BR - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
properties - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Propriedades da Rede
propLanguageFileName - Static variable in class br.uerj.language.LanguageTool: Nome do arquivo Properties com o mapeamento Chave e Conteúdo

R

RAIO - Static variable in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Indica qual o raio do desenho do círculo que representa o Lugar.
refreshEndPoints() - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Atualiza os pontos iniciais e finais após mover um objeto.
refreshText() - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Atualiza o texto na Janela
refreshText() - Method in class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction: Atualiza os rótulos e o texto da janela de Analise.
refreshText() - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Atualiza os rótulos da janela de simulação.
refreshText() - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Atualiza os rótulos de todos os textos que aparecem na Janela Principal.
refreshText() - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Atualiza o texto na Janela
removeArco(int) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove um Arco da Rede de Petri especificado pela sua posição no ArrayList que contem os Arcos.
removeArco(ArcBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove um Arco da Rede de Petri especificado por sua instância.
removeArco(int) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeArco(ArcBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeArcoAssociadoLugar(PlaceBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove Arco associado a um Lugar.
removeArcoAssociadoTransicao(TransitionBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove Arco associado a uma Transição.
removeLabel(Label) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Remove o rótulo do array de rótulos.
removeLugar(String) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove um Lugar da Rede de Petri especificado pelo nome
removeLugar(int) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove um Lugar da Rede de Petri especificado pela sua posicao no ArrayList que contem os Lugares da Rede de Petri.
removeLugar(PlaceBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove um Lugar da Rede de Petri especificado pela sua instância.
removeLugar(String) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeLugar(int) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeLugar(PlaceBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeTransicao(String) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove uma transição da Rede de Petri especificada pelo seu nome.
removeTransicao(int) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove uma Transição da Rede de Petri especificada pela sua posição no ArrayList que contem as Transições da Rede.
removeTransicao(TransitionBase) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Remove uma Transição da Rede de Petri especificada por sua instância.
removeTransicao(String) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeTransicao(int) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
removeTransicao(TransitionBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
root - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Nó raíz da árvore de alcançabilidade
rootNode - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow

S

saveAsWindow() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Cria e trata a Janela de diálogo para salvar o arquivo de rede de petri.
saveOnly() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Salva o arquivo se ele já existir, ou abre caixa de diálogo caso ele não exista.
scrollInfo - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
scrollPnInfo - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
scrollStateInfo - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
scrollTree - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
scrollTree - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
seft - Variable in class br.uerj.petrinetanalyzer.common.TransitionBase: Static Earliest Firing Time (temporização segundo o modelo de Merlin)
selectedArc - Variable in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Informa qual o Arco Selecionado.
selectedLabel - Variable in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Informa qual o Rótulo Selecionado.
selectedPlace - Variable in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Informa qual o Lugar Selecionado.
selectedPoint - Variable in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph
selectedTrans - Variable in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Informa qual a Transição Selecionada.
selectObj - Variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Objeto correntemente selecionado
selectObject(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seleciona o objeto clicado pelo mouse.
serialVersionUID - Static variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Variável requisitada na herança de JFrame
serialVersionUID - Static variable in class br.uerj.petrinetanalyzer.gui.MainWindow: Variável requisitada na herança de JFrame
serialVersionUID - Static variable in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Variável requisitada na herança de DefaultMutableTreeNode
serialVersionUID - Static variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Variável requisitada na herança de JTabbedPane
serialVersionUID - Static variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Variável requisitada na herança de JFrame
serialVersionUID - Static variable in class br.uerj.swing.JTextFieldExtended
setArrMarking(int[]) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Seta o array de marcações
setArrTransFire(boolean[]) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Seta o Array boleano informando se a transição está ou não disponível.
setColor(Color) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Seta a cor do retângulo que envolve o rótulo.
setCurvaDensidade(int) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Seta o valor da Curva de Densidade de Probabilidade.
setEhConservativa(boolean) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a Rede é ou não conservativa, ou seja se o número de tokens é constante em cada estado.
setEhViva(boolean) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa se a Rede de Petri é ou não viva.
setEndArc(MouseEvent, Object) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seta o objeto de rede de petri, final do arco.
setEndObject(Object) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Define qual o objeto é o destino do arco.
setEntrada() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Informa que o Arco é de entrada em uma Transição.
setFichas(int) - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Seta a quantidade de fichas do Lugar.
setFont(Font) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Seta a Fonte a ser usada no texto.
setFontColor(Color) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Seta a cor da fonte do texto
setIgualAoEstado(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Caso o Estado seja STATE_DUPLICADO, indica a qual estado é igual.
setLanguageDefault(String) - Static method in class br.uerj.language.LanguageTool: Seta o idioma default a ser usado logo no início do programa.
setLimite(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Informa o Limite da Rede de Petri.
setLugar(PlaceBase) - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Seta o Lugar ligado ao Arco.
setMarking(int, int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Seta a marcação de um Lugar na Rede.
setModo(int) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seta o modo de operação do programa.
setModo(int, int) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seta o modo e submodo de operação do programa.
setNameButon(JButton) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Seta o rótulo do Botão recebido como parâmetro.
setNameJLabel(JLabel) - Method in class br.uerj.petrinetanalyzer.gui.MainWindow: Seta o rótulo do Label recebido como parâmetro.
setNome(String) - Method in class br.uerj.petrinetanalyzer.common.ImplPetriNetBase: Seta o nome da Rede de Petri.
setNome(String) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetBase
setNome(String) - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Seta o nome do Lugar.
setNome(String) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Seta o nome da Transição.
setNomeRedePetri(String) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Seta o nome da Rede de Petri.
setOrientation(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Seta a orinentação.
setPeso(int) - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Seta o peso do Arco.
setPosicao(int) - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Seta a posicao do Arco na Lista de Arcos
setPosicao(int) - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Seta a posição do Lugar na matriz.
setPosicao(int) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Seta a posição da Transição na matriz.
setPosicao(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Seta a posição do rótulo no array de rótulos.
setSaida() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Informa que o Arco é de saída de uma Transição.
setSEFT(double) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Seta o valor de Static Earliest Firing Time.
setSelectedArc(ArcGraph) - Method in class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener: Seta o Arco selecionado pelo Mouse.
setSelectedPlace(PlaceGraph) - Method in class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Seta o Lugar selecionado pelo Mouse.
setSelectedTransition(TransitionGraph) - Method in class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Seta a Transição selecionada pelo mouse.
setSLFT(double) - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Seta o valor de Static Latest Firing Time.
setStartArc(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seta qual o objeto da rede de petri é o início do arco.
setStartEndObjects(Object, Object) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Define quais os objetos são origem e destino do arco.
setStartObject(Object) - Method in class br.uerj.petrinetanalyzer.gui.objects.ArcGraph: Define qual objeto é o de origem do arco.
setState(int[], boolean[]) - Method in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Seta o estado da simulação para algum específico.
setStateType(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Seta o estado.
setSubModo(int) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Seta o submodo de operação do programa.
setTextKey(String) - Method in class br.uerj.swing.JTextFieldExtended: Seta o valor da chave.
setTexto(String) - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Seta o texto do rótulo.
setTextWithKey() - Method in class br.uerj.swing.JTextFieldExtended: Seta o conteúdo da caixa de texto usando a chave.
setTextWithKey(String) - Method in class br.uerj.swing.JTextFieldExtended: Seta o conteúdo da caixa de texto usando a chave recebida como parâmetro.
setTotalFichas(int) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Seta o total de fichas na rede, quando ela é conservativa.
setTotalState(int) - Static method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Seta o total de estados.
setTransicao(TransitionBase) - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Seta a Transição ligada ao Arco.
setTransicaoHabilitada(boolean) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Seta a informação se tem ou não transição habilitada para o estado.
setWindow(MainWindow) - Method in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener: Seta a instância de MainWindow.
setX(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Seta a coordenada X.
setX(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Seta a coordenada X.
setXY(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Seta ambas as Coordenadas X e Y.
setXY(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Seta ambas as Coordenadas X e Y.
setY(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Seta a coordenada Y.
setY(int) - Method in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Seta a coordenada Y.
showAboutMessage() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Exibe Mensagem Sobre na Tela
showErrorCastOpenFile(ClassCastException) - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Exibe mensagem na tela informando falha ao tentar converter o arquivo.
showErrorOpenFile(Exception) - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Exibe mensagem de erro na tela informando falha ao tentar ler o arquivo.
showErrorSaveFile(IOException) - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Exibição de mensagem de erro caso não consiga salvar o arquivo.
showInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.ArcActionListener: Exibe na tela as informações da Transição.
showInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.PlaceActionListener: Exibe na tela as informações do Lugar.
showInfo() - Method in class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Exibe na tela as informações da Transição.
showInfoObjectAndFireTransition(MouseEvent) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Mostra as informações do objeto selecionado, quando está no modo Simulação.
showSimulationWindow() - Method in class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction: Exibe a janela de Análise.
showSimulationWindow() - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Exibe a janela de simulação.
showSucessOpenFile() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Exibe mensagem de sucesso na barra de satus informando que o arquivo foi aberto com sucesso.
showSucessSaveFile() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Exibe na barra de status uma mensagem informando que o arquivo foi salvo com sucesso.
SIM_BACK - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
SIM_INFO_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_04 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_04_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_05 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_INFO_05_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
SIM_START - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants: Constantes referentes ao objeto selecionado para simulação
SIM_STOP - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants
simAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
simEngine - Variable in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction
SimulationAction - Class in br.uerj.petrinetanalyzer.gui.listener: Classe que implementa a area de desenho da rede de petri.
SimulationAction(PetriNetGraph) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: Construtor.
simulationBack() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata evento de Volta da Simulação.
simulationStart() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata evento de ínicio de simulação.
simulationStop() - Method in class br.uerj.petrinetanalyzer.gui.listener.ButtonActionListener: Trata evento de Parada de simulação.
SimulationWindow - Class in br.uerj.petrinetanalyzer.gui: Define a janela com a árvore mostrando a evolução da simulação.
SimulationWindow(PetriNetGraph, TreeNodeState) - Constructor for class br.uerj.petrinetanalyzer.gui.SimulationWindow: Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas.
simulator - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Engine do Simulador
simWindow - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
simWindow - Variable in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction
simWindowKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageSimulationConstants
slft - Variable in class br.uerj.petrinetanalyzer.common.TransitionBase: Static Latest Firing Time (temporização segundo o modelo de Merlin)
spinnerArcPeso - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
spinnerArcPesoKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
spinnerPlaceFichas - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
spinnerPlaceFichasKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATE_DUPLICADO - Static variable in interface br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants
STATE_FRONTEIRA - Static variable in interface br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants
STATE_INTERIOR - Static variable in interface br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants
STATE_TERMINAL - Static variable in interface br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants
stateType - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Informa o tipo de estado: STATE_TERMINAL, STATE_FRONTEIRA, STATE_DUPLICADO ou STATE_INTERIOR
STATUS_MSG_01 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_01_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_02 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_02_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_03 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_03_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_04 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_04_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_05 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_05_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_06 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_06_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_07 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_07_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_08 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_08_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_09 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_09_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_10 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_10_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_11 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_11_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_12 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_12_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_13 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_13_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_14 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_14_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_15 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_15_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_16 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_16_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_17 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_17_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_18 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_18_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_19 - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
STATUS_MSG_19_KEY - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
strText - Variable in class br.uerj.petrinetanalyzer.gui.objects.Label
sub_modo - Static variable in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener
subModo - Variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas

T

TABULACAO - Static variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
temTransicaoDisponivel() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfSimulator: Verifica se existe alguma transição disponível para ser disparada.
temTransicaoDisponivel() - Method in class br.uerj.petrinetanalyzer.engine.ImplSimulator: Verifica se existe alguma transição disponível para ser disparada.
temTransicaoHabilitada - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Informa se tem transição habilitada para disparo.
temTransicaoHabilitada() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Retorna se tem ou não transição habilitada para disparo no Estado.
textKey - Variable in class br.uerj.swing.JTextFieldExtended: String que representa a chave a ser usada para o conteúdo da caixa de texto.
title - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
titleKey - Static variable in interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants
TOKEN_INFINITO - Static variable in interface br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants
toString() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna String com informações do Arco.
toString() - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties: String contendo um resumo das propriedades da Rede de Petri.
toString() - Method in class br.uerj.petrinetanalyzer.common.PlaceBase: Retorna String com informações do Lugar.
toString() - Method in class br.uerj.petrinetanalyzer.common.TransitionBase: Retorna String com informações da Transição.
toString() - Method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Sobrescreve o método toString()
toString() - Method in class br.uerj.petrinetanalyzer.gui.objects.Label: Sobrescreve o método toString da classe Object.
toString() - Method in class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Sobrescreve o método toString.
totalFichas - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetProperties: Total de fichas na rede
totalMarking - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Soma das marcações no Estado.
totalState - Static variable in class br.uerj.petrinetanalyzer.engine.PetriNetState: Contador estático que é incrementado a cada novo estado criado.
trans - Variable in class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Transição correntemente selecionada.
transAction - Variable in class br.uerj.petrinetanalyzer.gui.MainWindow
TransActionListener - Class in br.uerj.petrinetanalyzer.gui.listener: Classe que Trata dos eventos relacionados ao Painel com Informações de Transição
TransActionListener(MainWindow) - Constructor for class br.uerj.petrinetanalyzer.gui.listener.TransActionListener: Construtor.
transicao - Variable in class br.uerj.petrinetanalyzer.common.ArcBase: Transição ligada ao Arco.
TransitionBase - Class in br.uerj.petrinetanalyzer.common: Esta classe é a classe base para definição de transições (transitions) em Redes de Petri.
TransitionBase() - Constructor for class br.uerj.petrinetanalyzer.common.TransitionBase: Construtor default.
TransitionBase(String, int) - Constructor for class br.uerj.petrinetanalyzer.common.TransitionBase: Construtor de TransitionBase.
TransitionBase(int) - Constructor for class br.uerj.petrinetanalyzer.common.TransitionBase: Construtor de TransitionBase.
TransitionGraph - Class in br.uerj.petrinetanalyzer.gui.objects: Esta classe é a classe para definição de transições (transitions) em Redes de Petri.
TransitionGraph() - Constructor for class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Construtor default.
TransitionGraph(int, int, int) - Constructor for class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Construtor que recebe as coordenadas X e Y da posição do objeto na tela e a posição i no Array de Transições da rede.
TransitionGraph(int) - Constructor for class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph: Construtor que recebe como parâmetro apenas a posição no Array de transição da Rede.
tree - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Árvore de alcançabilidade
tree - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
tree - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
treeModel - Variable in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Model usado para tratar a árvore de alcançabilidade, apenas prepara a árvore para ser usada na interface gráfica.
treeModel - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
TreeNodeState - Class in br.uerj.petrinetanalyzer.gui.objects: Define um estado da Rede de Petri.
TreeNodeState(int[], int[], boolean[]) - Constructor for class br.uerj.petrinetanalyzer.gui.objects.TreeNodeState: Construtor.
tryFireTransition(TransitionBase) - Method in class br.uerj.petrinetanalyzer.gui.listener.SimulationAction: tenta disparar a transição verificando primeiramente, se ela pode ser disparada.
txtInfo - Variable in class br.uerj.petrinetanalyzer.gui.SimulationWindow
txtPnInfo - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow
txtStateInfo - Variable in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow

U

UNIFORME - Static variable in class br.uerj.petrinetanalyzer.common.TransitionBase
update(Graphics) - Method in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas: Sobrescreve o método update

V

valueChanged(TreeSelectionEvent) - Method in class br.uerj.petrinetanalyzer.gui.AnalyzerWindow: Requerido pela interface TreeSelectionListener.
valueChanged(TreeSelectionEvent) - Method in class br.uerj.petrinetanalyzer.gui.SimulationWindow: Requerido pela interface TreeSelectionListener.
verifyArcSelected(ArcGraph) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Verifica se o arco está ligado a um objeto selecionado.
verifyConservativa(PetriNetState) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Uma Rede é conservativa se o total de fichas na rede se mantém.
verifyEntrada() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna true caso o arco saia de um Lugar e entre em uma Transição.
verifyLabelSelected(Label) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Verifica se o rótulo passado como parâmetro foi o último selecionado.
verifyLimite(PetriNetState) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: 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).
verifyPlaceSelected(PlaceGraph) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Verifica se o Lugar passado como parâmetro foi o último selecionado.
verifyPn(ImplPetriNetBase) - Static method in class br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction: Verifica se a Rede de Petri é uma rede válida para ser analisada.
verifyPosition(int, int) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Retorna true caso exista algum objeto que ocupe as proximidades da posição x, y fornecida.
verifyProperties(IntfPetriNetBase) - Method in interface br.uerj.petrinetanalyzer.common.interfaces.IntfAnalyzer: Veriica as Propriedades da Rede de Petri
verifyProperties(PetriNetState) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: Verifica várias propriedades da Rede de Petri.
verifySaida() - Method in class br.uerj.petrinetanalyzer.common.ArcBase: Retorna false caso o arco saia de um Lugar e entre em uma Transição.
verifyTransitionSelected(TransitionGraph) - Method in class br.uerj.petrinetanalyzer.gui.objects.PetriNetGraph: Verifica se a Transição passada como parâmetro foi a última selecionada.
verifyVivacidade(PetriNetState) - Method in class br.uerj.petrinetanalyzer.engine.PetriNetAnalyzer: 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.

W

window - Static variable in class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener
window - Variable in class br.uerj.petrinetanalyzer.gui.PetriNetEditorCanvas
writeFile() - Method in class br.uerj.petrinetanalyzer.gui.listener.MenuActionListener: Grava o arquivo de rede de petri no formato XML.

X

x - Variable in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Coordenada X do objeto na tela.
x - Variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph

Y

y - Variable in class br.uerj.petrinetanalyzer.gui.objects.PlaceGraph: Coordenada Y do objeto na tela.
y - Variable in class br.uerj.petrinetanalyzer.gui.objects.TransitionGraph

Z

zeraTotalState() - Static method in class br.uerj.petrinetanalyzer.engine.PetriNetState: Zera a variável que conta o total de Estados.

A B C D E F G I J L M N O P R S T U V W X Y Z

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES