Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos

Las Redes de Petri (RP) son un formalismo gráfico para la especificación de sistemas, las cuales pertenecen a la clase de modelos operacionales y son apropiadas cuando se desean describir las propiedades dinámicas de los sistemas. Además, la flexibilidad del modelo permite extenderlo en varias direc...

Descripción completa

Detalles Bibliográficos
Autores principales: Gonzaléz, Ariel, Vaisman, Gabriel David
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
redes de Petri
modelado de procesos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21734
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21734
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
redes de Petri
modelado de procesos
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
redes de Petri
modelado de procesos
Gonzaléz, Ariel
Vaisman, Gabriel David
Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
redes de Petri
modelado de procesos
description Las Redes de Petri (RP) son un formalismo gráfico para la especificación de sistemas, las cuales pertenecen a la clase de modelos operacionales y son apropiadas cuando se desean describir las propiedades dinámicas de los sistemas. Además, la flexibilidad del modelo permite extenderlo en varias direcciones manteniendo su filosofía original. En el presente trabajo utilizaremos como base un modelo de Red de Petri Temporizada basadas en relojes para luego extenderlo con el concepto de Subredes aumentando así el poder de abstracción. Esta técnica de temporización usada basada en relojes, surge de la teoría de sistemas híbridos. El objetivo principal de ésta extensión es aplicarlo a problemas como los que se encuentran en las áreas de desarrollo de sistemas, específicamente en etapas de diseño de los modelos conocidos en descripción y análisis de procesos. Con las características que se describen para el modelo podemos proponer también su uso en la rama de la ingeniería de software hoy conocida como reingeniería, que utiliza actualmente modelos semi-formales para representar los sistemas existentes y realizar su posterior análisis. El uso de una herramienta basada en un modelo formal permitirá la aplicación de técnicas más efectivas en relación a los objetivos que se ostenta.
format Objeto de conferencia
Objeto de conferencia
author Gonzaléz, Ariel
Vaisman, Gabriel David
author_facet Gonzaléz, Ariel
Vaisman, Gabriel David
author_sort Gonzaléz, Ariel
title Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos
title_short Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos
title_full Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos
title_fullStr Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos
title_full_unstemmed Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos
title_sort propuesta de un tipo de redes de petri temporizadas para el modelado de procesos
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21734
work_keys_str_mv AT gonzalezariel propuestadeuntipoderedesdepetritemporizadasparaelmodeladodeprocesos
AT vaismangabrieldavid propuestadeuntipoderedesdepetritemporizadasparaelmodeladodeprocesos
bdutipo_str Repositorios
_version_ 1764820464851484675

Ejemplares similares