In the report, the formalization of the HIN model, based on Petri Nets, is described. The purpose of the HIN model is to describe a patient's clinical history in such a way as to allow not only the semi-automatic generation of queries to extract clinical cases from electronic health records (HER) but also to evaluate the distance between two clinical histories providing useful indications for the choice.


Ricci, F.L.; Pecoraro, F.; Luzi, D.; Consorti, F.; Tamburis, O. A Straightforward Formalization of the HIN Model Consiglio Nazionale delle Ricerche – Istituto di Ricerche sulla Popolazione e le Politiche Sociali. IRPPS Working Paper 2020, 121, 1–31.