Uses of Interface
br.uerj.petrinetanalyzer.common.interfaces.IntfEngineConstants

Packages that use IntfEngineConstants

br.uerj.petrinetanalyzer.engine

Uses of IntfEngineConstants in br.uerj.petrinetanalyzer.engine

Classes in br.uerj.petrinetanalyzer.engine that implement IntfEngineConstants

class	ImplSimulator Implementa a engine do funcionamento da simulação.
class	PetriNetAnalyzer Classe que cuida da engine da Análise da Rede de Petri
class	PetriNetProperties Possui métodos que retornam um conjunto de propriedades verificadas na Rede de Petri
class	PetriNetState Classe que representa o Estado de uma Rede de Petri, para análise.