VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
Fuente:
Redalyc
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | en |
| Veröffentlicht: |
Universidad Nacional de Colombia
2012
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1876458976350044160 |
|---|---|
| author | CARLOS ARTURO PARRA ORTEGA |
| author_facet | CARLOS ARTURO PARRA ORTEGA |
| contents | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS CARLOS ARTURO PARRA ORTEGA JAIME ALBERTO GUZMÁN LUNA Ingeniería DEVS Petri nets logic agents Manufacturing systems stochastic simulation 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. 2012 artículo científico 0012-7353 https://www.redalyc.org/articulo.oa?id=49623204014 en http://www.redalyc.org/revista.oa?id=496 Dyna application/pdf Universidad Nacional de Colombia Dyna (Colombia) Num.173 Vol.79 |
| format | Artículo científico |
| id | redalyc_49623204014 |
| institution | Redalyc |
| language | en |
| publishDate | 2012 |
| publisher | Universidad Nacional de Colombia |
| spellingShingle | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS CARLOS ARTURO PARRA ORTEGA Ingeniería DEVS Petri nets logic agents Manufacturing systems stochastic simulation VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS CARLOS ARTURO PARRA ORTEGA JAIME ALBERTO GUZMÁN LUNA Ingeniería DEVS Petri nets logic agents Manufacturing systems stochastic simulation 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. 2012 artículo científico 0012-7353 https://www.redalyc.org/articulo.oa?id=49623204014 en http://www.redalyc.org/revista.oa?id=496 Dyna application/pdf Universidad Nacional de Colombia Dyna (Colombia) Num.173 Vol.79 |
| title | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS |
| topic | Ingeniería DEVS Petri nets logic agents Manufacturing systems stochastic simulation |
| url | https://www.redalyc.org/articulo.oa?id=49623204014 |