Validating the behavior of a supervised system using petri nets

Abstract

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.