br.uerj.petrinetanalyzer.common
Class TransitionBase

java.lang.Object
  br.uerj.petrinetanalyzer.common.TransitionBase

Direct Known Subclasses:

TransitionGraph

public class TransitionBase
extends java.lang.Object

Esta classe é a classe base para definição de transições (transitions) em Redes de Petri.

Author:

Felipe Lino
Data: 09/12/2006
Atualizado: 07/02/2006

Field Summary

private int	curvaDensidade Curva de Densidade de probabilidade: Altera o modo como será interpretado os valores de SEFT e SLFT Seu domínio é: UNIFORME=0, NORMAL=1 e EXPONENCIAL=2.
static int	EXPONENCIAL
private java.lang.String	identificador Para ser usado no lugar do nome.
private java.lang.String	nome Informa o nome da Transição (opcional)
static int	NORMAL
private int	posicao Informa a posição da Transição.
private double	seft Static Earliest Firing Time (temporização segundo o modelo de Merlin)
private double	slft Static Latest Firing Time (temporização segundo o modelo de Merlin)
static int	UNIFORME

Constructor Summary

TransitionBase()
Construtor default.

TransitionBase(int posicao)
Construtor de TransitionBase.

TransitionBase(java.lang.String nome, int posicao)
Construtor de TransitionBase.

Method Summary

boolean	equals(java.lang.Object obj) Verifica se o objeto recebido como parâmetro é igual ao objeto chamador do método.
int	getCurvaDensidade() Retorna a Curva de Densidade de Probabilidade.
java.lang.String	getIdentificador() Retorna identificador.
java.lang.String	getNome() Retorna o nome da Transição.
int	getPosicao() Retorna a posição da Transição na matriz.
double	getSEFT() Retorna o Static Earliest Firing Time.
double	getSLFT() Retorna o Static Latest Firing Time.
boolean	isEqual(java.lang.Object obj) Verifica se o objeto recebido como parâmetro é igual ao objeto chamador do método.
void	setCurvaDensidade(int curvaDensidade) Seta o valor da Curva de Densidade de Probabilidade.
void	setNome(java.lang.String nome) Seta o nome da Transição.
void	setPosicao(int posicao) Seta a posição da Transição na matriz.
void	setSEFT(double seft) Seta o valor de Static Earliest Firing Time.
void	setSLFT(double slft) Seta o valor de Static Latest Firing Time.
java.lang.String	toString() Retorna String com informações da Transição.

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

nome

private java.lang.String nome

Informa o nome da Transição (opcional)

posicao

private int posicao

Informa a posição da Transição. Para auxiliar na formação da representação da Rede de Petri em Matriz.

identificador

private java.lang.String identificador

Para ser usado no lugar do nome. Possui o formato: "Tn"

seft

private double seft

Static Earliest Firing Time (temporização segundo o modelo de Merlin)

slft

private double slft

Static Latest Firing Time (temporização segundo o modelo de Merlin)

curvaDensidade

private int curvaDensidade

Curva de Densidade de probabilidade: Altera o modo como será interpretado os valores de SEFT e SLFT Seu domínio é: UNIFORME=0, NORMAL=1 e EXPONENCIAL=2.

UNIFORME

public static final int UNIFORME

See Also:

Constant Field Values

NORMAL

public static final int NORMAL

See Also:

Constant Field Values

EXPONENCIAL

public static final int EXPONENCIAL

See Also:

Constant Field Values

Constructor Detail

TransitionBase

public TransitionBase()

Construtor default.

TransitionBase

public TransitionBase(java.lang.String nome,
                      int posicao)

Construtor de TransitionBase.

Parameters:

nome - nome da Transição

posicao - posição na matriz

TransitionBase

public TransitionBase(int posicao)

Construtor de TransitionBase. Na ausência do nome, o identificador "Tn" será usado em seu lugar.

Parameters:

posicao - posição da Transição na matriz

Method Detail

getNome

public java.lang.String getNome()

Retorna o nome da Transição.

Returns:

nome da Transição, ou identificador se nenhum nome foi fornecido.

getPosicao

public int getPosicao()

Retorna a posição da Transição na matriz.

Returns:

posição da Transição na matriz.

getIdentificador

public java.lang.String getIdentificador()

Retorna identificador.

Returns:

identificador no formato "Tn"

getSEFT

public double getSEFT()

Retorna o Static Earliest Firing Time.

Returns:

Static Earliest Firing Time

getSLFT

public double getSLFT()

Retorna o Static Latest Firing Time.

Returns:

Static Latest Firing Time

getCurvaDensidade

public int getCurvaDensidade()

Retorna a Curva de Densidade de Probabilidade.

Returns:

Curva de Densidade de Probabilidade

setNome

public void setNome(java.lang.String nome)

Seta o nome da Transição.

Parameters:

nome - Nome da Transição

setPosicao

public void setPosicao(int posicao)

Seta a posição da Transição na matriz.

Parameters:

posicao - posição da Transição na matriz

setSEFT

public void setSEFT(double seft)

Seta o valor de Static Earliest Firing Time.

Parameters:

seft - Static Earliest Firing Time

setSLFT

public void setSLFT(double slft)

Seta o valor de Static Latest Firing Time.

Parameters:

slft - Static Latest Firing Time

setCurvaDensidade

public void setCurvaDensidade(int curvaDensidade)

Seta o valor da Curva de Densidade de Probabilidade. O valor deve ser 0 - Uniforme, 1 - Normal ou 2 - Exponencial.

Parameters:

curvaDensidade -

toString

public java.lang.String toString()

Retorna String com informações da Transição.

Overrides:

toString in class java.lang.Object

Returns:

informações da Transição

isEqual

public boolean isEqual(java.lang.Object obj)

Verifica se o objeto recebido como parâmetro é igual ao objeto chamador do método.

Returns:

True caso os objetos sejam iguais, false caso sejam diferentes.

equals

public boolean equals(java.lang.Object obj)

Verifica se o objeto recebido como parâmetro é igual ao objeto chamador do método.

Overrides:

equals in class java.lang.Object

Returns:

True caso os objetos sejam iguais, false caso sejam diferentes.