Validating the behavior of a supervised system using petri nets
A fundamental issue of production systems is the validating of their output. In order to obtain this output, mathematical models such as Petri nets are used to validate concurrent behaviors, presence/absence of blockings, and activity synchronization, among other aspects of this industrial process....
- Autores:
-
Parra Ortega, Carlos Arturo
Guzmán Luna, Jaime Alberto
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2012
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/41465
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/41465
http://bdigital.unal.edu.co/31562/
- Palabra clave:
- manufacturing systems
Petri nets
stochastic simulation
DEVS
logic agents.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| id |
UNACIONAL2_f5a3d505549cd5c2137879a67de6f22c |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/41465 |
| network_acronym_str |
UNACIONAL2 |
| network_name_str |
Universidad Nacional de Colombia |
| repository_id_str |
|
| spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Parra Ortega, Carlos Arturo2141efe1-706e-4cf0-8596-79dbcc7c4070300Guzmán Luna, Jaime Albertob3c6d0fb-20a9-4298-90e6-6b84f0ae09b63002019-06-28T10:02:54Z2019-06-28T10:02:54Z2012https://repositorio.unal.edu.co/handle/unal/41465http://bdigital.unal.edu.co/31562/A fundamental issue of production systems is the validating of their output. In order to obtain this output, mathematical models such as Petri nets are used to validate concurrent behaviors, presence/absence of blockings, and activity synchronization, among other aspects of this industrial process. Despite its advantages, the use of Petri nets does not allow for the evaluation of other important issues in manufacturing processes, or how to manage them. Therefore, stochastic system simulation and agent technology are used in the experiments to obtain other performance measures. A combination of Petri nets, multi-agent systems, and stochastic systems is used within a proposed method for validating the output of production systems. This paper shows how this method is used in an academic manufacture sample.application/pdfspaUniversidad Nacional de Colombia Sede Medellínhttp://revistas.unal.edu.co/index.php/dyna/article/view/30754Universidad Nacional de Colombia Revistas electrónicas UN DynaDynaDyna; Vol. 79, núm. 173 (2012); 113-121 DYNA; Vol. 79, núm. 173 (2012); 113-121 2346-2183 0012-7353Parra Ortega, Carlos Arturo and Guzmán Luna, Jaime Alberto (2012) Validating the behavior of a supervised system using petri nets. Dyna; Vol. 79, núm. 173 (2012); 113-121 DYNA; Vol. 79, núm. 173 (2012); 113-121 2346-2183 0012-7353 .Validating the behavior of a supervised system using petri netsArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTmanufacturing systemsPetri netsstochastic simulationDEVSlogic agents.ORIGINAL30754-111347-1-PB.pdfapplication/pdf808840https://repositorio.unal.edu.co/bitstream/unal/41465/1/30754-111347-1-PB.pdf23d008278b01be7cc2d66827a38cc437MD5130754-157277-1-PB.htmltext/html41495https://repositorio.unal.edu.co/bitstream/unal/41465/2/30754-157277-1-PB.html5b92a6de1eb7ac11f3cc1b10f7132093MD52THUMBNAIL30754-111347-1-PB.pdf.jpg30754-111347-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg9710https://repositorio.unal.edu.co/bitstream/unal/41465/3/30754-111347-1-PB.pdf.jpg4fad4df4ac4ebcbc948c6ed8330eef00MD53unal/41465oai:repositorio.unal.edu.co:unal/414652024-01-30 23:07:18.668Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
| dc.title.spa.fl_str_mv |
Validating the behavior of a supervised system using petri nets |
| title |
Validating the behavior of a supervised system using petri nets |
| spellingShingle |
Validating the behavior of a supervised system using petri nets manufacturing systems Petri nets stochastic simulation DEVS logic agents. |
| title_short |
Validating the behavior of a supervised system using petri nets |
| title_full |
Validating the behavior of a supervised system using petri nets |
| title_fullStr |
Validating the behavior of a supervised system using petri nets |
| title_full_unstemmed |
Validating the behavior of a supervised system using petri nets |
| title_sort |
Validating the behavior of a supervised system using petri nets |
| dc.creator.fl_str_mv |
Parra Ortega, Carlos Arturo Guzmán Luna, Jaime Alberto |
| dc.contributor.author.spa.fl_str_mv |
Parra Ortega, Carlos Arturo Guzmán Luna, Jaime Alberto |
| dc.subject.proposal.spa.fl_str_mv |
manufacturing systems Petri nets stochastic simulation DEVS logic agents. |
| topic |
manufacturing systems Petri nets stochastic simulation DEVS logic agents. |
| description |
A fundamental issue of production systems is the validating of their output. In order to obtain this output, mathematical models such as Petri nets are used to validate concurrent behaviors, presence/absence of blockings, and activity synchronization, among other aspects of this industrial process. Despite its advantages, the use of Petri nets does not allow for the evaluation of other important issues in manufacturing processes, or how to manage them. Therefore, stochastic system simulation and agent technology are used in the experiments to obtain other performance measures. A combination of Petri nets, multi-agent systems, and stochastic systems is used within a proposed method for validating the output of production systems. This paper shows how this method is used in an academic manufacture sample. |
| publishDate |
2012 |
| dc.date.issued.spa.fl_str_mv |
2012 |
| dc.date.accessioned.spa.fl_str_mv |
2019-06-28T10:02:54Z |
| dc.date.available.spa.fl_str_mv |
2019-06-28T10:02:54Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/41465 |
| dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/31562/ |
| url |
https://repositorio.unal.edu.co/handle/unal/41465 http://bdigital.unal.edu.co/31562/ |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/dyna/article/view/30754 |
| dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Dyna Dyna |
| dc.relation.ispartofseries.none.fl_str_mv |
Dyna; Vol. 79, núm. 173 (2012); 113-121 DYNA; Vol. 79, núm. 173 (2012); 113-121 2346-2183 0012-7353 |
| dc.relation.references.spa.fl_str_mv |
Parra Ortega, Carlos Arturo and Guzmán Luna, Jaime Alberto (2012) Validating the behavior of a supervised system using petri nets. Dyna; Vol. 79, núm. 173 (2012); 113-121 DYNA; Vol. 79, núm. 173 (2012); 113-121 2346-2183 0012-7353 . |
| dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
| dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia Sede Medellín |
| institution |
Universidad Nacional de Colombia |
| bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/41465/1/30754-111347-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/41465/2/30754-157277-1-PB.html https://repositorio.unal.edu.co/bitstream/unal/41465/3/30754-111347-1-PB.pdf.jpg |
| bitstream.checksum.fl_str_mv |
23d008278b01be7cc2d66827a38cc437 5b92a6de1eb7ac11f3cc1b10f7132093 4fad4df4ac4ebcbc948c6ed8330eef00 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
| repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
| _version_ |
1814089191842119680 |