Uses of Package
br.uerj.petrinetanalyzer.engine

Packages that use br.uerj.petrinetanalyzer.engine

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

Classes in br.uerj.petrinetanalyzer.engine used by br.uerj.petrinetanalyzer.engine

ImplSimulator
Implementa a engine do funcionamento da simulação.

PetriNetProperties
Possui métodos que retornam um conjunto de propriedades verificadas na Rede de Petri

PetriNetState
Classe que representa o Estado de uma Rede de Petri, para análise.

Classes in br.uerj.petrinetanalyzer.engine used by br.uerj.petrinetanalyzer.gui

PetriNetProperties
Possui métodos que retornam um conjunto de propriedades verificadas na Rede de Petri

PetriNetState
Classe que representa o Estado de uma Rede de Petri, para análise.

Classes in br.uerj.petrinetanalyzer.engine used by br.uerj.petrinetanalyzer.gui.listener

ImplSimulator
Implementa a engine do funcionamento da simulação.

PetriNetAnalyzer
Classe que cuida da engine da Análise da Rede de Petri