Loading...
Please wait, while we are loading the content...
Similar Documents
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lima, Evangivaldo |
| Copyright Year | 2007 |
| Abstract | O objetivo dessa tese e formalizar a analise das redes de Petri temporais usando a algebra intervalar como ferramental matematico. A algebra intervalar e tradicionalmente usada na solucao de problemas relacionados com imprecisao. Por sua vez, as redes de Petri temporais se caracterizam, por definicao, por possuir um intervalo temporal que delimita os periodos minimos e maximos de sensibilizacao das transicoes. Em consequencia, a imprecisao quanto a data de disparo das transicoes ´e denotada por um intervalo. Assim, neste trabalho, a dinâmica dos intervalos de disparos ao longo da evolucao da rede e modelada por uma equacao linear intervalar, que possibilita o calculo de intervalos de tempo de ocorrencias de transicoes sem que seja necessario explorar, completa ou parcialmente, o espaco de estados. Essa mesma equacao pode ser usada para tratar do problema inverso: identificar sequencias de disparos de transicoes que permitam alcancar uma determinada marcacao respeitando uma janela temporal pre-definida. Este problema foi denominado de alcancabilidade temporal. Ao longo do desenvolvimento dessa abordagem, outros importantes resultados foram obtidos, tais como: metodo enumerativo usando tempo global para analise via alcancabilidade da rede, metodos de reducao baseados em aproximacoes intervalares, reducao do espaco de estados, e uma alternativa para construcao do grafo de estados com dominios relativos e intervalos de disparos com tempo absoluto. A abordagem desenvolvida foi aplicada a diferentes problemas a fim de calcular grandezas como: tempos maximo e minimo entre a ocorrencia de duas transicoes, validacao de sequencias de disparos, tempos de ciclos, entre outras. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/1/CT_CPGEI_D_Lima,%20Evangivaldo%20Almeida_2007.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
