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