Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar
Autor(a) principal: | |
---|---|
Data de Publicação: | 2007 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
Texto Completo: | http://repositorio.utfpr.edu.br/jspui/handle/1/97 |
Resumo: | O objetivo dessa tese é formalizar a análise das redes de Petri temporais usando a álgebra intervalar como ferramental matemático. A álgebra intervalar é tradicionalmente usada na solução de problemas relacionados com imprecisão. Por sua vez, as redes de Petri temporais se caracterizam, por definição, por possuir um intervalo temporal que delimita os períodos mínimos e máximos de sensibilização das transições. Em consequência, a imprecisão quanto a data de disparo das transições ´e denotada por um intervalo. Assim, neste trabalho, a dinâmica dos intervalos de disparos ao longo da evolução da rede é modelada por uma equação linear intervalar, que possibilita o cálculo de intervalos de tempo de ocorrências de transições sem que seja necessário explorar, completa ou parcialmente, o espaço de estados. Essa mesma equação pode ser usada para tratar do problema inverso: identificar sequências de disparos de transições que permitam alcançar uma determinada marcação respeitando uma janela temporal pré-definida. Este problema foi denominado de alcançabilidade temporal. Ao longo do desenvolvimento dessa abordagem, outros importantes resultados foram obtidos, tais como: método enumerativo usando tempo global para análise via alcançabilidade da rede, métodos de redução baseados em aproximações intervalares, redução do espaço de estados, e uma alternativa para construção do grafo de estados com domínios relativos e intervalos de disparos com tempo absoluto. A abordagem desenvolvida foi aplicada a diferentes problemas a fim de calcular grandezas como: tempos máximo e mínimo entre a ocorrência de duas transições, validação de sequências de disparos, tempos de ciclos, entre outras. |
id |
UTFPR-12_f821151470f5ca8706ec6d2679989954 |
---|---|
oai_identifier_str |
oai:repositorio.utfpr.edu.br:1/97 |
network_acronym_str |
UTFPR-12 |
network_name_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
repository_id_str |
|
spelling |
2010-10-13T18:56:29Z2010-10-13T18:56:29Z200713/10/2011LIMA, Evangivaldo Almeida. Análise e aplicações em redes de petri temporais: uma abordagem via álgebra intervalar. 2007. 165 f. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2007.http://repositorio.utfpr.edu.br/jspui/handle/1/97O objetivo dessa tese é formalizar a análise das redes de Petri temporais usando a álgebra intervalar como ferramental matemático. A álgebra intervalar é tradicionalmente usada na solução de problemas relacionados com imprecisão. Por sua vez, as redes de Petri temporais se caracterizam, por definição, por possuir um intervalo temporal que delimita os períodos mínimos e máximos de sensibilização das transições. Em consequência, a imprecisão quanto a data de disparo das transições ´e denotada por um intervalo. Assim, neste trabalho, a dinâmica dos intervalos de disparos ao longo da evolução da rede é modelada por uma equação linear intervalar, que possibilita o cálculo de intervalos de tempo de ocorrências de transições sem que seja necessário explorar, completa ou parcialmente, o espaço de estados. Essa mesma equação pode ser usada para tratar do problema inverso: identificar sequências de disparos de transições que permitam alcançar uma determinada marcação respeitando uma janela temporal pré-definida. Este problema foi denominado de alcançabilidade temporal. Ao longo do desenvolvimento dessa abordagem, outros importantes resultados foram obtidos, tais como: método enumerativo usando tempo global para análise via alcançabilidade da rede, métodos de redução baseados em aproximações intervalares, redução do espaço de estados, e uma alternativa para construção do grafo de estados com domínios relativos e intervalos de disparos com tempo absoluto. A abordagem desenvolvida foi aplicada a diferentes problemas a fim de calcular grandezas como: tempos máximo e mínimo entre a ocorrência de duas transições, validação de sequências de disparos, tempos de ciclos, entre outras.The objective of this thesis is to establish formal conditions for time Petri nets analysis by interval algebra. The interval algebra is traditionally used as a mathematical tool in the solution of problems related to uncertainty. In fact time Petri nets are characterized by presenting an uncertainty at the moment of its transitions firing. This imprecision is denoted by a firing interval. Thus, in this work the dynamics of the firing intervals throughout the evolution of the net is represented by a linear interval equation, which makes possible the calculation of transition firing intervals without generating the whole space of states to be explored, completely or partially. Also, this interval equation is used to solve a kind of inverse problem to the previous one. That is, given a time specification for a time Petri net to evalue from a state to another one any to compute the possibilities of firings between these two states, in case that it exists. Throughout the development of the approach, other important results have been obtained, such as: reduction methods for time Petri nets baseds interval approximation, reduction of the state space, and an alternative for the construction of the state graph with relative and absolute times. The developed approach was applied to different problems to compute metrics such as: maximum and minimum time separation ocurrence of two transition, the scheduling validation of firing sequence, times of cycles, among others.2,06 MBporUniversidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialRedes de PetriÁlgebra intervalarAnálise tempotalPetri netsAnálise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalarinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisCuritibaDoutoradoKünzle, Luis AllanLima, Evangivaldo Almeidainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRTHUMBNAILCT_CPGEI_D_Lima, Evangivaldo Almeida_2007.pdf.jpgCT_CPGEI_D_Lima, Evangivaldo Almeida_2007.pdf.jpgGenerated Thumbnailimage/jpeg1397http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/6/CT_CPGEI_D_Lima%2c%20Evangivaldo%20Almeida_2007.pdf.jpg72b56ad4bda478c0086584d67c4ae439MD56ORIGINALCT_CPGEI_D_Lima, Evangivaldo Almeida_2007.pdfCT_CPGEI_D_Lima, Evangivaldo Almeida_2007.pdfapplication/pdf2164815http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/1/CT_CPGEI_D_Lima%2c%20Evangivaldo%20Almeida_2007.pdff43a18650b4075f4303a2f342a1147aaMD51CC-LICENSElicense_urllicense_urltext/plain; charset=utf-846http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/2/license_url0d2fb706760bf56ddf1358a832652ccfMD52license_textlicense_texttext/html; charset=utf-821353http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/3/license_text160a80f95a9d7e6f776cb6c7bea041b1MD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-820634http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/4/license_rdf0eef9b128240436dacde490572fa4f25MD54TEXTCT_CPGEI_D_Lima, Evangivaldo Almeida_2007.pdf.txtCT_CPGEI_D_Lima, Evangivaldo Almeida_2007.pdf.txtExtracted texttext/plain280121http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/5/CT_CPGEI_D_Lima%2c%20Evangivaldo%20Almeida_2007.pdf.txt9616441b1fb3ec4411030bc68dd72c53MD551/972020-06-03 14:47:46.901oai:repositorio.utfpr.edu.br:1/97Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2020-06-03T17:47:46Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false |
dc.title.pt_BR.fl_str_mv |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
title |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
spellingShingle |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar Lima, Evangivaldo Almeida Redes de Petri Álgebra intervalar Análise tempotal Petri nets |
title_short |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
title_full |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
title_fullStr |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
title_full_unstemmed |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
title_sort |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar |
author |
Lima, Evangivaldo Almeida |
author_facet |
Lima, Evangivaldo Almeida |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Künzle, Luis Allan |
dc.contributor.author.fl_str_mv |
Lima, Evangivaldo Almeida |
contributor_str_mv |
Künzle, Luis Allan |
dc.subject.por.fl_str_mv |
Redes de Petri Álgebra intervalar Análise tempotal Petri nets |
topic |
Redes de Petri Álgebra intervalar Análise tempotal Petri nets |
description |
O objetivo dessa tese é formalizar a análise das redes de Petri temporais usando a álgebra intervalar como ferramental matemático. A álgebra intervalar é tradicionalmente usada na solução de problemas relacionados com imprecisão. Por sua vez, as redes de Petri temporais se caracterizam, por definição, por possuir um intervalo temporal que delimita os períodos mínimos e máximos de sensibilização das transições. Em consequência, a imprecisão quanto a data de disparo das transições ´e denotada por um intervalo. Assim, neste trabalho, a dinâmica dos intervalos de disparos ao longo da evolução da rede é modelada por uma equação linear intervalar, que possibilita o cálculo de intervalos de tempo de ocorrências de transições sem que seja necessário explorar, completa ou parcialmente, o espaço de estados. Essa mesma equação pode ser usada para tratar do problema inverso: identificar sequências de disparos de transições que permitam alcançar uma determinada marcação respeitando uma janela temporal pré-definida. Este problema foi denominado de alcançabilidade temporal. Ao longo do desenvolvimento dessa abordagem, outros importantes resultados foram obtidos, tais como: método enumerativo usando tempo global para análise via alcançabilidade da rede, métodos de redução baseados em aproximações intervalares, redução do espaço de estados, e uma alternativa para construção do grafo de estados com domínios relativos e intervalos de disparos com tempo absoluto. A abordagem desenvolvida foi aplicada a diferentes problemas a fim de calcular grandezas como: tempos máximo e mínimo entre a ocorrência de duas transições, validação de sequências de disparos, tempos de ciclos, entre outras. |
publishDate |
2007 |
dc.date.submitted.pt_BR.fl_str_mv |
13/10/2011 |
dc.date.issued.fl_str_mv |
2007 |
dc.date.accessioned.fl_str_mv |
2010-10-13T18:56:29Z |
dc.date.available.fl_str_mv |
2010-10-13T18:56:29Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
LIMA, Evangivaldo Almeida. Análise e aplicações em redes de petri temporais: uma abordagem via álgebra intervalar. 2007. 165 f. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2007. |
dc.identifier.uri.fl_str_mv |
http://repositorio.utfpr.edu.br/jspui/handle/1/97 |
identifier_str_mv |
LIMA, Evangivaldo Almeida. Análise e aplicações em redes de petri temporais: uma abordagem via álgebra intervalar. 2007. 165 f. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2007. |
url |
http://repositorio.utfpr.edu.br/jspui/handle/1/97 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
2,06 MB |
dc.publisher.none.fl_str_mv |
Universidade Tecnológica Federal do Paraná Curitiba |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial |
publisher.none.fl_str_mv |
Universidade Tecnológica Federal do Paraná Curitiba |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) instname:Universidade Tecnológica Federal do Paraná (UTFPR) instacron:UTFPR |
instname_str |
Universidade Tecnológica Federal do Paraná (UTFPR) |
instacron_str |
UTFPR |
institution |
UTFPR |
reponame_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
collection |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
bitstream.url.fl_str_mv |
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/6/CT_CPGEI_D_Lima%2c%20Evangivaldo%20Almeida_2007.pdf.jpg http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/1/CT_CPGEI_D_Lima%2c%20Evangivaldo%20Almeida_2007.pdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/2/license_url http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/3/license_text http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/4/license_rdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/97/5/CT_CPGEI_D_Lima%2c%20Evangivaldo%20Almeida_2007.pdf.txt |
bitstream.checksum.fl_str_mv |
72b56ad4bda478c0086584d67c4ae439 f43a18650b4075f4303a2f342a1147aa 0d2fb706760bf56ddf1358a832652ccf 160a80f95a9d7e6f776cb6c7bea041b1 0eef9b128240436dacde490572fa4f25 9616441b1fb3ec4411030bc68dd72c53 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR) |
repository.mail.fl_str_mv |
|
_version_ |
1805922998806380544 |