br.uerj.petrinetanalyzer.common.interfaces
Interface IntfPetriNetProperties

All Known Implementing Classes:

PetriNetProperties

public interface IntfPetriNetProperties

Interface que trata das Propriedades de uma Rede de Petri.

Author:

Felipe Lino
Data: 09/12/2006

Method Summary

boolean	ehConservativa() Informa se a Rede é ou não conservativa.
boolean	ehLimitada() Informa se a Rede é ou não limitada.
boolean	ehViva() Informa se a Rede é ou não viva.
int	getLimite() Retorna o Limite da Rede.
java.lang.String	getNomeRedePetri() Retorna o nome da Rede de Petri
java.lang.String	toString() String contendo um resumo das propriedades da Rede de Petri.

Method Detail

getNomeRedePetri

java.lang.String getNomeRedePetri()

Retorna o nome da Rede de Petri

Returns:

Nomde da Rede de Petri

ehLimitada

boolean ehLimitada()

Informa se a Rede é ou não limitada.

Returns:

Retorna true caso a Rede seja Limitada.

ehConservativa

boolean ehConservativa()

Informa se a Rede é ou não conservativa.

Returns:

Retorna true caso a Rede seja conservativa.

ehViva

boolean ehViva()

Informa se a Rede é ou não viva.

Returns:

Retorna true caso a Rede seja viva.

getLimite

int getLimite()

Retorna o Limite da Rede. Limite é o máximo de fichas que podem existir na Rede.

Returns:

Retorna um inteiro que é o Limite. Retorna -1 caso o limite seja Infinito.

toString

java.lang.String toString()

String contendo um resumo das propriedades da Rede de Petri.

Overrides:

toString in class java.lang.Object

Returns:

Resumo das propriedades da Rede de Petri.