Un método computacional para la detección y caracterización de conflictos en redes de Petri
En este artículo se presenta un método que permite detectar la presencia deconflictos en modelos construidos con base en el formalismo matemático de lasRedes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que tomacomo datos de entrada la representación matricial de una red, es posi...
- Autores:
-
Ángel Restrepo, Pedro Luis
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2011
- Institución:
- Universidad de Medellín
- Repositorio:
- Repositorio UDEM
- Idioma:
- spa
- OAI Identifier:
- oai:repository.udem.edu.co:11407/931
- Acceso en línea:
- http://hdl.handle.net/11407/931
- Palabra clave:
- edes de Petri
detección de conflictos
algoritmos
- Rights
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
REPOUDEM2_4a5d61a56dac59408fffb6fc400decb8 |
|---|---|
| oai_identifier_str |
oai:repository.udem.edu.co:11407/931 |
| network_acronym_str |
REPOUDEM2 |
| network_name_str |
Repositorio UDEM |
| repository_id_str |
|
| spelling |
Ángel Restrepo, Pedro Luis2014-10-22T23:25:43Z2014-10-22T23:25:43Z2011-12-311692-3324http://hdl.handle.net/11407/9312248-4094reponame:Repositorio Institucional Universidad de Medellínrepourl:https://repository.udem.edu.co/instname:Universidad de MedellínEn este artículo se presenta un método que permite detectar la presencia deconflictos en modelos construidos con base en el formalismo matemático de lasRedes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que tomacomo datos de entrada la representación matricial de una red, es posible detectar laexistencia de conflictos y caracterizar su tipo, identificando, además, el conjunto deelementos que los presentan. La utilización del método propuesto se ilustra usandouna Red de Petri Ordinaria.Electrónicoapplication/pdfspaUniversidad de MedellínFacultad de IngenieríasMedellínhttp://revistas.udem.edu.co/index.php/ingenierias/article/view/509Revista Ingenierías Universidad de Medellínhttp://creativecommons.org/licenses/by-nc-sa/4.0/Attribution-NonCommercial-ShareAlike 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Revista Ingenierías Universidad de Medellín; Vol. 10, núm. 19 (2011)2248-40941692-3324edes de Petridetección de conflictosalgoritmosUn método computacional para la detección y caracterización de conflictos en redes de PetriArticlehttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Artículo científicoinfo:eu-repo/semantics/articlehttp://purl.org/coar/version/c_970fb48d4fbd8a85Comunidad Universidad de MedellínTHUMBNAILUn método computacional para la detección y caracterización de conflictos en redes de Petri.pdf.jpgUn método computacional para la detección y caracterización de conflictos en redes de Petri.pdf.jpgIM Thumbnailimage/jpeg6207http://repository.udem.edu.co/bitstream/11407/931/3/Un%20m%c3%a9todo%20computacional%20para%20la%20detecci%c3%b3n%20y%20caracterizaci%c3%b3n%20de%20conflictos%20en%20redes%20de%20Petri.pdf.jpgac42b942e3c7c4d09fb4bb319bdc6c6fMD53ORIGINALArticulo.htmltext/html574http://repository.udem.edu.co/bitstream/11407/931/1/Articulo.html01fd3c4efed55b2c6d09f8d0066a9e45MD51Un método computacional para la detección y caracterización de conflictos en redes de Petri.pdfUn método computacional para la detección y caracterización de conflictos en redes de Petri.pdfTexto completoapplication/pdf1368388http://repository.udem.edu.co/bitstream/11407/931/2/Un%20m%c3%a9todo%20computacional%20para%20la%20detecci%c3%b3n%20y%20caracterizaci%c3%b3n%20de%20conflictos%20en%20redes%20de%20Petri.pdf899ec3594e6c9397aa423a916947d2efMD5211407/931oai:repository.udem.edu.co:11407/9312021-05-14 14:17:48.576Repositorio Institucional Universidad de Medellinrepositorio@udem.edu.co |
| dc.title.spa.fl_str_mv |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| title |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| spellingShingle |
Un método computacional para la detección y caracterización de conflictos en redes de Petri edes de Petri detección de conflictos algoritmos |
| title_short |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| title_full |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| title_fullStr |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| title_full_unstemmed |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| title_sort |
Un método computacional para la detección y caracterización de conflictos en redes de Petri |
| dc.creator.fl_str_mv |
Ángel Restrepo, Pedro Luis |
| dc.contributor.author.none.fl_str_mv |
Ángel Restrepo, Pedro Luis |
| dc.subject.spa.fl_str_mv |
edes de Petri detección de conflictos algoritmos |
| topic |
edes de Petri detección de conflictos algoritmos |
| description |
En este artículo se presenta un método que permite detectar la presencia deconflictos en modelos construidos con base en el formalismo matemático de lasRedes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que tomacomo datos de entrada la representación matricial de una red, es posible detectar laexistencia de conflictos y caracterizar su tipo, identificando, además, el conjunto deelementos que los presentan. La utilización del método propuesto se ilustra usandouna Red de Petri Ordinaria. |
| publishDate |
2011 |
| dc.date.created.none.fl_str_mv |
2011-12-31 |
| dc.date.accessioned.spa.fl_str_mv |
2014-10-22T23:25:43Z |
| dc.date.available.spa.fl_str_mv |
2014-10-22T23:25:43Z |
| dc.type.eng.fl_str_mv |
Article |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.local.spa.fl_str_mv |
Artículo científico |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/article |
| format |
http://purl.org/coar/resource_type/c_6501 |
| dc.identifier.issn.none.fl_str_mv |
1692-3324 |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/11407/931 |
| dc.identifier.eissn.none.fl_str_mv |
2248-4094 |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Universidad de Medellín |
| dc.identifier.repourl.none.fl_str_mv |
repourl:https://repository.udem.edu.co/ |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de Medellín |
| identifier_str_mv |
1692-3324 2248-4094 reponame:Repositorio Institucional Universidad de Medellín repourl:https://repository.udem.edu.co/ instname:Universidad de Medellín |
| url |
http://hdl.handle.net/11407/931 |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.uri.none.fl_str_mv |
http://revistas.udem.edu.co/index.php/ingenierias/article/view/509 |
| dc.relation.ispartofjournal.spa.fl_str_mv |
Revista Ingenierías Universidad de Medellín |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.creativecommons.*.fl_str_mv |
Attribution-NonCommercial-ShareAlike 4.0 International |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ Attribution-NonCommercial-ShareAlike 4.0 International http://purl.org/coar/access_right/c_abf2 |
| dc.format.medium.spa.fl_str_mv |
Electrónico |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad de Medellín |
| dc.publisher.faculty.spa.fl_str_mv |
Facultad de Ingenierías |
| dc.publisher.place.spa.fl_str_mv |
Medellín |
| dc.source.spa.fl_str_mv |
Revista Ingenierías Universidad de Medellín; Vol. 10, núm. 19 (2011) 2248-4094 1692-3324 |
| institution |
Universidad de Medellín |
| bitstream.url.fl_str_mv |
http://repository.udem.edu.co/bitstream/11407/931/3/Un%20m%c3%a9todo%20computacional%20para%20la%20detecci%c3%b3n%20y%20caracterizaci%c3%b3n%20de%20conflictos%20en%20redes%20de%20Petri.pdf.jpg http://repository.udem.edu.co/bitstream/11407/931/1/Articulo.html http://repository.udem.edu.co/bitstream/11407/931/2/Un%20m%c3%a9todo%20computacional%20para%20la%20detecci%c3%b3n%20y%20caracterizaci%c3%b3n%20de%20conflictos%20en%20redes%20de%20Petri.pdf |
| bitstream.checksum.fl_str_mv |
ac42b942e3c7c4d09fb4bb319bdc6c6f 01fd3c4efed55b2c6d09f8d0066a9e45 899ec3594e6c9397aa423a916947d2ef |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad de Medellin |
| repository.mail.fl_str_mv |
repositorio@udem.edu.co |
| _version_ |
1814159176585183232 |