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

Full description

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
Description
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.