Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer

Como proyecto de gado se desarrollaron dos procedimientos para la verificación y validación de redes de Petri basados en la herramienta TINA, desarrollada independientemente por el grupo OLC del LAAS-CNRSI, las cuales fueron integradas en HiLeS Designer, desarrollado por el grupo MIS. El primer proc...

Full description

Autores:
Duarte Vargas, Ramón Hernán
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2004
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/22037
Acceso en línea:
http://hdl.handle.net/1992/22037
Palabra clave:
Redes de computadores - Confiabilidad
Análisis de sistemas - Programas para computador
Redes de Petri - Aplicaciones
Visual Basic (Lenguaje de programación de computadores) - Aplicaciones
Ingeniería
Rights
openAccess
License
https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
id UNIANDES2_8ee8207d8e1744972f57b9b068babd7a
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/22037
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdfinfo:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Hamon, Juan Carlosb37cd98c-2627-452e-82aa-494ab9d416f9500Esteve, Danielaa1726ec-151e-4e6a-adbf-721d8275a879500Jiménez Vargas, José Fernandoda390574-7b4f-4156-b8e7-8dfc0035156e400Duarte Vargas, Ramón Hernán20bea98f-18db-4c54-b620-d4f78771c4505002018-09-28T23:04:07Z2018-09-28T23:04:07Z2004http://hdl.handle.net/1992/22037u258974.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/Como proyecto de gado se desarrollaron dos procedimientos para la verificación y validación de redes de Petri basados en la herramienta TINA, desarrollada independientemente por el grupo OLC del LAAS-CNRSI, las cuales fueron integradas en HiLeS Designer, desarrollado por el grupo MIS. El primer procedimiento desarrollado busca verificar las propiedades básicas de la red de Petri extraída por el usuario, en tanto que el segundo procedimiento busca verificar propiedades especificas deseables para una determinada red de control de algún diseño en curso. La implementación fue hecha en Visual Basic 6, haciendo uso del control Active X Addflow2 versión 4.Ingeniero ElectrónicoPregrado61 hojasapplication/pdfspaUniandesIngeniería ElectrónicaFacultad de IngenieríaDepartamento de Ingeniería Eléctrica y Electrónicainstname:Universidad de los Andesreponame:Repositorio Institucional SénecaIncorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designerTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPRedes de computadores - ConfiabilidadAnálisis de sistemas - Programas para computadorRedes de Petri - AplicacionesVisual Basic (Lenguaje de programación de computadores) - AplicacionesIngenieríaPublicationTEXTu258974.pdf.txtu258974.pdf.txtExtracted texttext/plain133815https://repositorio.uniandes.edu.co/bitstreams/5c79a07f-c060-4d0f-8480-42bb0a871532/downloadebaec77507710cefc144b775a5c7c4cdMD54THUMBNAILu258974.pdf.jpgu258974.pdf.jpgIM Thumbnailimage/jpeg6353https://repositorio.uniandes.edu.co/bitstreams/af38eaed-9c63-4f53-912e-0cbb2bd420bd/download1768080654b45018419ce517f80af734MD55ORIGINALu258974.pdfapplication/pdf1576849https://repositorio.uniandes.edu.co/bitstreams/dfa7258b-c455-4d68-916c-29b4f2f3c743/download23b2a599265ded3bf1d63e5e5528b481MD511992/22037oai:repositorio.uniandes.edu.co:1992/220372023-10-10 19:08:35.9https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdfopen.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co
dc.title.es_CO.fl_str_mv Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
title Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
spellingShingle Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
Redes de computadores - Confiabilidad
Análisis de sistemas - Programas para computador
Redes de Petri - Aplicaciones
Visual Basic (Lenguaje de programación de computadores) - Aplicaciones
Ingeniería
title_short Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
title_full Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
title_fullStr Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
title_full_unstemmed Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
title_sort Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
dc.creator.fl_str_mv Duarte Vargas, Ramón Hernán
dc.contributor.advisor.none.fl_str_mv Hamon, Juan Carlos
Esteve, Daniel
Jiménez Vargas, José Fernando
dc.contributor.author.none.fl_str_mv Duarte Vargas, Ramón Hernán
dc.subject.keyword.es_CO.fl_str_mv Redes de computadores - Confiabilidad
Análisis de sistemas - Programas para computador
Redes de Petri - Aplicaciones
topic Redes de computadores - Confiabilidad
Análisis de sistemas - Programas para computador
Redes de Petri - Aplicaciones
Visual Basic (Lenguaje de programación de computadores) - Aplicaciones
Ingeniería
dc.subject.keyword.none.fl_str_mv Visual Basic (Lenguaje de programación de computadores) - Aplicaciones
dc.subject.themes.none.fl_str_mv Ingeniería
description Como proyecto de gado se desarrollaron dos procedimientos para la verificación y validación de redes de Petri basados en la herramienta TINA, desarrollada independientemente por el grupo OLC del LAAS-CNRSI, las cuales fueron integradas en HiLeS Designer, desarrollado por el grupo MIS. El primer procedimiento desarrollado busca verificar las propiedades básicas de la red de Petri extraída por el usuario, en tanto que el segundo procedimiento busca verificar propiedades especificas deseables para una determinada red de control de algún diseño en curso. La implementación fue hecha en Visual Basic 6, haciendo uso del control Active X Addflow2 versión 4.
publishDate 2004
dc.date.issued.none.fl_str_mv 2004
dc.date.accessioned.none.fl_str_mv 2018-09-28T23:04:07Z
dc.date.available.none.fl_str_mv 2018-09-28T23:04:07Z
dc.type.spa.fl_str_mv Trabajo de grado - Pregrado
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TP
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/22037
dc.identifier.pdf.none.fl_str_mv u258974.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/22037
identifier_str_mv u258974.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.uri.*.fl_str_mv https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 61 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.es_CO.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Ingeniería Electrónica
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ingeniería
dc.publisher.department.es_CO.fl_str_mv Departamento de Ingeniería Eléctrica y Electrónica
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/5c79a07f-c060-4d0f-8480-42bb0a871532/download
https://repositorio.uniandes.edu.co/bitstreams/af38eaed-9c63-4f53-912e-0cbb2bd420bd/download
https://repositorio.uniandes.edu.co/bitstreams/dfa7258b-c455-4d68-916c-29b4f2f3c743/download
bitstream.checksum.fl_str_mv ebaec77507710cefc144b775a5c7c4cd
1768080654b45018419ce517f80af734
23b2a599265ded3bf1d63e5e5528b481
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812134036647182336

Publicaciones similares