br.uerj.petrinetanalyzer.common.interfaces
Interface IntfAnalyzer


public interface IntfAnalyzer

Interface base para o Analisador de Redes de Petri

Author:
Felipe Lino
Data: 09/12/2006

Method Summary
 IntfPetriNetProperties verifyProperties(IntfPetriNetBase redePetri)
          Veriica as Propriedades da Rede de Petri
 

Method Detail

verifyProperties

IntfPetriNetProperties verifyProperties(IntfPetriNetBase redePetri)
Veriica as Propriedades da Rede de Petri

Parameters:
redePetri - Rede de Petri
Returns:
Objeto contendo as Propriedades da Rede de Petri