Automated modelling of reactive discrete event systems from external behavioural data
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage · 2013
This paper deals with automated modelling of reactive discrete event systems (DES). A software tool for building automatically interpreted Petri net models from an observed system's input/output sequence is presented. The tool is based on a black-box identification method that processes the input/output sequence, and synthesises and draws the model corresponding to such a sequence. First, the identification method is outlined; then the developed software is described and applied to an illustrative example from the manufacturing area.