Package br.uerj.petrinetanalyzer.common.interfaces

Interface Summary

IntfAnalyzer	Interface base para o Analisador de Redes de Petri
IntfEngineConstants	Classe com constantes a serem usadas para a Engine de Analise.
IntfPetriNetBase	Interface base para definição de Redes de Petri.
IntfPetriNetProperties	Interface que trata das Propriedades de uma Rede de Petri.
IntfSimulator	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.