Discovering of the unobservable behaviour of an Interpreted Petri Net model

This paper focuses on the problem of discovering a Petri Net model from long event sequences generated by a discrete event system. Precisely, it is assumed that the relations between input and output events (i.e. the observable behaviour of the system) are already modelled by a set of Interpreted Petri Net fragments while the behaviour of the internal state evolutions (i.e. the unobservable behaviour) must be discovered. An approach inspired to net synthesis is proposed. It relies on an optimization-based procedure for the identification of the unobservable net structure and marking.