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
Summary: | 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. |
---|