Automated modelling of reactive discrete event systems from external behavioural data

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.