Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

Abstract

One of the ways to perform the reverse engineering of a reactive system is to analyse the model of such a system. However, this model could not exist or the documentation could not be updated; then a model that describes the current behaviour of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behaviour in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.