Uses of Class
br.uerj.petrinetanalyzer.common.ImplPetriNetBase

Packages that use ImplPetriNetBase

br.uerj.petrinetanalyzer.engine
br.uerj.petrinetanalyzer.gui
br.uerj.petrinetanalyzer.gui.listener
br.uerj.petrinetanalyzer.gui.objects

Uses of ImplPetriNetBase in br.uerj.petrinetanalyzer.engine

Fields in br.uerj.petrinetanalyzer.engine declared as ImplPetriNetBase

private ImplPetriNetBase

ImplSimulator.pn Rede de Petri a ser simulada.

Constructors in br.uerj.petrinetanalyzer.engine with parameters of type ImplPetriNetBase

ImplSimulator(ImplPetriNetBase pn)
Construtor que recebe como parâmetro a Rede de Petri a ser simulada

PetriNetAnalyzer(ImplPetriNetBase pn)
Construtor que recebe a Rede de Petri como Parâmetro.

Uses of ImplPetriNetBase in br.uerj.petrinetanalyzer.gui

Fields in br.uerj.petrinetanalyzer.gui declared as ImplPetriNetBase

private ImplPetriNetBase

AnalyzerWindow.pn

Constructors in br.uerj.petrinetanalyzer.gui with parameters of type ImplPetriNetBase

AnalyzerWindow(ImplPetriNetBase pn, javax.swing.JTree tree, PetriNetProperties prop)
Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas.

Uses of ImplPetriNetBase in br.uerj.petrinetanalyzer.gui.listener

Fields in br.uerj.petrinetanalyzer.gui.listener declared as ImplPetriNetBase

private ImplPetriNetBase

AnalyzerAction.pn

Methods in br.uerj.petrinetanalyzer.gui.listener with parameters of type ImplPetriNetBase

static boolean

AnalyzerAction.verifyPn(ImplPetriNetBase pn) Verifica se a Rede de Petri é uma rede válida para ser analisada.

Constructors in br.uerj.petrinetanalyzer.gui.listener with parameters of type ImplPetriNetBase

AnalyzerAction(ImplPetriNetBase pn)
Construtor.

Uses of ImplPetriNetBase in br.uerj.petrinetanalyzer.gui.objects

Subclasses of ImplPetriNetBase in br.uerj.petrinetanalyzer.gui.objects

class

PetriNetGraph Esta classe é a classe base para definição de Redes de Petri.